From 6bf295d2114bd8115aaabac2659ef25b246035a1 Mon Sep 17 00:00:00 2001 From: Jennifer Pease Date: Wed, 15 Nov 2023 13:35:28 -0800 Subject: [PATCH] Continuing work on Useful-terms_2023.kif and a few fixes applied to other kif files --- Economy.kif | 4 +- Facebook.kif | 4 +- Law.kif | 4 - development/Useful-terms_2023.kif | 163 +++++++++++++++++++++++++++++- 4 files changed, 164 insertions(+), 11 deletions(-) diff --git a/Economy.kif b/Economy.kif index 8e1d38af..329b840e 100644 --- a/Economy.kif +++ b/Economy.kif @@ -5015,7 +5015,7 @@ manufactured using a part or the whole of an &%Animal.") (exists (?M ?A ?B) (and (instance ?M Manufacture) - (result ?M ?A) + (result ?M ?P) (patient ?M ?A) (or (instance ?A Animal) @@ -5193,7 +5193,7 @@ manufactured using a part or the whole of a &%Plant.") (exists (?M ?A ?B) (and (instance ?M Manufacture) - (result ?M ?A) + (result ?M ?P) (patient ?M ?A) (or (instance ?A Plant) diff --git a/Facebook.kif b/Facebook.kif index 19b63d00..03b3bc13 100755 --- a/Facebook.kif +++ b/Facebook.kif @@ -651,11 +651,11 @@ actions can be carried out by something other than a (=> (and (instance ?AUTO AutomatedSystem) - (agent ?AUTO ?PROCESS)) + (agent ?PROCESS ?AUTO)) (and (instance ?COG CognitiveAgent) (not - (agent ?COG ?PROCESS)))) + (agent ?PROCESS ?COG)))) ;;If there is an automated process, then an automated system is the agent of that process. (=> (instance ?AUTOPROCESS AutomatedProcess) diff --git a/Law.kif b/Law.kif index e664fa73..9e8ca084 100644 --- a/Law.kif +++ b/Law.kif @@ -490,8 +490,6 @@ in advance.") (instance recordForAgreement BinaryPredicate) (termFormat EnglishLanguage recordForAgreement "record for agreement") -(format EnglishLanguage recordForAgreement "%1 is the record for agreement %2") - (documentation recordForAgreement EnglishLanguage "This is a relation between a document or an action that records the propositional content of an Agreement. This could be a written document or a verbal promise as verbal promises are also @@ -500,8 +498,6 @@ relationship than &%refers or &%containsInformation since it entails that the record is the full content of the &%Proposition and that the &%Proposition must have the &%Attribute of being an &%Agreement, as opposed to some other &%Proposition.") - -(instance recordForAgreement BinaryPredicate) (domain recordForAgreement 1 ContentBearingPhysical) (domain recordForAgreement 2 Agreement) diff --git a/development/Useful-terms_2023.kif b/development/Useful-terms_2023.kif index b64e0dc2..b674964d 100644 --- a/development/Useful-terms_2023.kif +++ b/development/Useful-terms_2023.kif @@ -305,23 +305,180 @@ end. [Wikipedia]") ;;part inspection (SUMO Investigating) (subclass PartInspection Investigating) (documentation PartInspection EnglishLanguage "A &%PartInspection is a -&%Process of physically examining individual components of a &%Device or -a &%Product.") +&%Process in &%Manufacture (ing) in which individual components of a &%Device or +a &%Product are physically and systematically examined to ensure that the manufactured +parts meet the required specifications and quality standards.[wikipedia]") (termFormat EnglishLanguage PartInspection " part inspection") +(=> + (and + (instance ?X PartInspection) + (patient ?X ?P) + (instance ?P SelfConnectedObject)) + (exists (?A ?M) + (and + (part ?P ?A) + (instance ?A Artifact) + (instance ?M Manufacture) + (result ?M ?A) + (subProcess ?X ?M)))) + +(=> + (instance ?X PartInspection) + (hasPurpose ?X + (exists (?O ?P) + (and + (instance ?O SelfConnectedObject) + (patient ?X ?O) + (instance ?P Proposition) + (refers ?P ?O) + (modalAttribute + (conforms ?O ?P) Necessity))))) + ;;ordering parts (sorting in a specific order) +(subclass OrderingParts Classifying) +(documentation OrderingParts EnglishLanguage "An &%OrderingParts is a +&%Process in &%Manufacture (ing) in which individual parts are sorted +in a specific order.") +(termFormat EnglishLanguage OrderingParts "Ordering parts") +(=> + (and + (instance ?X OrderingParts) + (patient ?X ?P)) + (exists (?A ?M) + (and + (part ?P ?A) + (instance ?A Artifact) + (instance ?M Manufacture) + (result ?M ?A) + (subProcess ?X ?M)))) +(=> + (and + (instance ?X OrderingParts) + (patient ?X ?P)) + (hasPurpose ?X + (exists (?L) + (and + (instance ?L List) + (inList ?P ?L))))) + ;;assembly station (SUMO Region that hasPurpose of Combining, Attaching) +(subclass AssemblyStation StationaryArtifact) +(subclass AssemblyStation Region) +(documentation AssemblyStation EnglishLanguage "An &%AssemblyStation is a +&%StationaryArtifact in &%Manufacture (ing) where individual parts +are combined or attached to the final product in a specific order.") +(termFormat EnglishLanguage AssemblyStation "assembly station") + +(=> + (instance ?X AssemblyStation) + (hasPurpose ?X + (exists (?P) + (and + (instance ?P ProductAssembly) + (eventLocated ?P ?X))))) + ;;product assembly (SUMO Combining, Attaching) +(subclass ProductAssembly DualObjectProcess) +(documentation ProductAssembly EnglishLanguage "A &%ProductAssembly is a +&%subProcess in &%Manufacture (ing) in which individual parts +are combined and attached to form the final product in a specific order.") +(termFormat EnglishLanguage ProductAssembly "Product assembly") + +(=> + (instance ?P ProductAssembly) + (exists (?M) + (and + (subProcess ?P ?M) + (instance ?M Manufacture)))) + +(=> + (and + (instance ?P ProductAssembly) + (eventLocated ?P ?X) + (instance ?X AssemblyStation)) + (or + (instance ?P Attaching) + (instance ?P Combining))) + +(=> + (instance ?P ProductAssembly) + (exists (?O ?Q ?W) + (and + (patient ?P ?O) + (patient ?P ?Q) + (not + (equal ?O ?Q)) + (instance ?O SelfConnectedObject) + (instance ?Q SelfConnectedObject) + (part ?O ?W) + (part ?Q ?W) + (instance ?W Artifact) + (result ?P ?W)))) + ;;electro-mechanical fitting +(subclass ElectroMechanicalFitting Electromagnet) +(documentation ElectroMechanicalFitting EnglishLanguage "An &%ElectroMechanicalFitting +is an &%Electromagnet which takes in an electric current and use the electricity to control +a &%MechanicalDevice.") +(termFormat EnglishLanguage ElectroMechanicalFitting "electromechanical fitting") + ;;"AMR" +(subclass AutonomousMobileRobot AutonomousAgent) +(subclass AutonomousMobileRobot Device) +(documentation AutonomousMobileRobot EnglishLanguage "An &%AutonomousMobileRobot +(AMR) is a type of robot. Among other possible activities, it can at least navigate +in an uncontrolled environment without the need for physical or electro-mechanical +guidance device. AMRs use a sophisticated set of sensors and cameras, aritificial +intelligence,machine learning algorithms to compute for path planning to intepret +and navigate through their environment.[Wikipedia]") +(termFormat EnglishLanguage AutonomousMobileRobot "autonomous mobile robot") +(names "AMR" AutonomousMobileRobot) + ;;camera (SUMO Camera) + ;;robotic gripper (SUMO hasPurpose Grabbing) +(subclass RoboticGripper Device) +(documentation RoboticGripper EnglishLanguage "A &%RoboticGripper is the end +effector of a robot or a robotic arm which act as fingers and has the purpose +of grabbing objects. [Wikipedia]") +(termFormat EnglishLanguage RoboticGripper "robotic gripper") + ;;laser +(subclass Laser Device) +(documentation Laser EnglishLanguage "A &%Laser is a &%Device that emits light +through a process of optical amplification based on the stimulated emission of +electromagnetic radiation. It differs from other light sources in that it emits +light that is coherent. [Wikipedia]") +(termFormat EnglishLanguage Laser "laser") + ;;odometer +(subclass Odometer MeasuringDevice) +(documentation Odometer EnglishLanguage "An &%Odometer is a &%Device used for +measuring the distance travelled by a vehicle, such as a car.[Wikipedia]") +(termFormat EnglishLanguage Odometer "odometer") +(names "odograph" Odometer) +(typicalPart Odometer Automobile) + +(subclass Speedometer MeasuringDevice) +(documentation Speedometer EnglishLanguage "A &%Speedometer is a gauge that +measures and displays the instantaneous speed of a vehicle.[Wikipedia]") +(termFormat EnglishLanguage Speedometer "speedometer") +(typicalPart Speedometer Automobile) + ;;cabinet (SUMO's ChestOrCabinet?) + ;;robotic joint (SUMO's MechanicalJoint) -;; joint position/angle (SUMO's AngleOfFigure) +(subclass RoboticJoint Device) +(documentation RoboticJoint EnglishLanguage "A &%RoboticJoints are movable +parts of a robot which allow adjacent links to move in relation to one another. +These links refer to the rigid components that connect the joints to ensure +proper and efficient operation. Like the bones in a human arm, movable segments +in a robot are linked up with these robotic joints.") +(termFormat EnglishLanguage RoboticJoint "robotic joint") + +;;joint position/angle (SUMO's AngleOfFigure) ;;trajectory (SUMO's path relation) ;;light curtains