Merge pull request #371 from ontologyportal/J20231109

Continuing work on Useful-terms_2023.kif and a few fixes applied to o…

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)

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)

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)
 

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