Skip to content

Commit

Permalink
Merge pull request #399 from ontologyportal/J20241112
Browse files Browse the repository at this point in the history
moved terms from development directory to main
  • Loading branch information
apease authored Nov 14, 2024
2 parents 6a8673e + 5ff1ed4 commit 03b3865
Show file tree
Hide file tree
Showing 6 changed files with 644 additions and 627 deletions.
75 changes: 75 additions & 0 deletions Cars.kif
Original file line number Diff line number Diff line change
Expand Up @@ -2955,6 +2955,81 @@ of an &%Engine.")
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S))))))))

;;
;; new terms from Useful-terms_2023.kif
;;

;;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]")
(names "odograph" Odometer)
(typicalPart Odometer Vehicle)

(=>
(and
(instance ?O Odometer)
(instance ?V Vehicle)
(part ?O ?V)
(instance ?T Translocation)
(instrument ?T ?V)
(path ?T ?P)
(distanceOnPath
(MeasureFn ?D ?U) ?P)
(instance ?U LengthMeasure))
(hasPurpose ?O
(exists (?M ?L ?DIST ?U)
(and
(instance ?M Measuring)
(instrument ?M ?O)
(measurementReading ?O ?DIST)
(inList ?D ?L)
(holdsDuring
(WhenFn
(EndFn ?M))
(and
(equal ?DIST
(MeasureFn
(ListSumFn ?L) ?U))
(not
(attribute ?O ResetMeasuringDevice))))))))

;; reset measuring device
(instance ResetMeasuringDevice RelationalAttribute)
(documentation ResetMeasuringDevice EnglishLanguage "&%ResetMeasuringDevice is
an attribute which signified that the &%measurementReading of a &%MeasuringDevice
has been set to zero.")

(=>
(and
(instance ?X MeasuringDevice)
(attribute ?X ResetMeasuringDevice))
(and
(measurementReading ?X
(MeasureFn 0 ?U))
(instance ?U UnitOfMeasure)))

(subclass Speedometer MeasuringDevice)
(documentation Speedometer EnglishLanguage "A &%Speedometer is a gauge that
measures and displays the instantaneous speed of a vehicle.[Wikipedia]")
(typicalPart Speedometer Vehicle)

(=>
(instance ?S Speedometer)
(hasPurpose ?S
(exists (?V ?T ?SPEED ?DIST ?TIME ?M)
(and
(instance ?V Vehicle)
(part ?S ?V)
(instance ?T Translocation)
(instrument ?T ?V)
(measure ?T ?SPEED)
(equal ?SPEED
(SpeedFn ?DIST ?TIME))
(instance ?M Measuring)
(instrument ?M ?S)
(measurementReading ?M ?SPEED)))))

(subclass Lubricant Substance)
(termFormat EnglishLanguage Lubricant "lubricant")
(documentation Lubricant EnglishLanguage "Any &%Substance that reduces &%Friction
Expand Down
115 changes: 115 additions & 0 deletions Economy.kif
Original file line number Diff line number Diff line change
Expand Up @@ -1922,6 +1922,121 @@ industries: &%TravelArrangementAndReservationServices,
(instance ZincManufacturing IndustryAttribute)
;(industryProductType ZincManufacturing ZincProduct)

;;new terms from Useful-terms_2023
;;
;;part inspection (SUMO Investigating)
(subclass PartInspection Investigating)
(documentation PartInspection EnglishLanguage "A &%PartInspection is a
&%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]")

(=>
(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.")

(=>
(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.")

(=>
(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.")


(=>
(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))))


;;
;;-----------------------------------------------------------------------------
;;
Expand Down
106 changes: 106 additions & 0 deletions QoSontology.kif
Original file line number Diff line number Diff line change
Expand Up @@ -478,6 +478,112 @@ keys and used to input different characters.")

(documentation ComputerOutputDevice EnglishLanguage "Any peripheral that presents
output from the computer, such as a screen or printer.")

(subclass ThreeDPrinter ComputerOutputDevice)
(documentation ThreeDPrinter EnglishLanguage "A &%ThreeDPrinter is a &%ComputerOutputDevice
for the construction of a three-dimensional &%Object from a Computer-Aided Design (CAD)
model or a digital 3D model. Three-dimensional models represent a physical body using
a collection of points in 3D space, connected by various geometric entities such as
triangles, lines, curved surface etc. In a 3D printing process, material is deposited,
joined or solidified under computer control, with the material being added together
(such as plastics, liquids or powder grains being fused), typically layer by layer. [Wikipedia]")

(=>
(instance ?X ThreeDPrinter)
(hasPurpose ?X
(exists (?P)
(and
(instance ?P ThreeDPrinting)
(instrument ?P ?X)))))

(subclass ThreeDPrinting Making)
(documentation ThreeDPrinting EnglishLanguage "&%ThreeDPrinting is the &%Making
of a three-dimensional &%Object from a Computer-Aided Design (CAD) 3D
model or a digital 3D model.[Wikipedia]")

(=>
(instance ?P ThreeDPrinting)
(exists (?X ?A)
(and
(instance ?X DigitalData)
(represents ?X ?A)
(instance ?A Artifact)
(result ?P ?A))))

(=>
(and
(instance ?P ThreeDPrinting)
(instance ?X Substance)
(resource ?P ?X))
(exists (?R)
(and
(instance ?R Reservoir)
(part ?R ?P)
(origin ?P ?R)
(located ?X ?R))))

(=>
(and
(instance ?P ThreeDPrinting)
(instance ?X CompoundSubstance)
(patient ?P ?X))
(exists (?SC)
(and
(instance ?SC ShapeChange)
(subProcess ?SC ?P)
(patient ?SC ?X))))

(=>
(and
(instance ?P ThreeDPrinting)
(instance ?O Artifact)
(result ?P ?O))
(exists (?A ?X ?B ?Y)
(and
(instance ?A Making)
(subProcess ?A ?P)
(instance ?X SelfConnectedObject)
(part ?X ?O)
(result ?A ?X)
(instance ?B Making)
(subProcess ?B ?P)
(instance ?Y SelfConnectedObject)
(part ?Y ?O)
(overlapsSpatially ?X ?Y)
(orientation ?X ?Y Below)
(during
(WhenFn ?A)
(WhenFn ?P))
(during
(WhenFn ?B)
(WhenFn ?P))
(earlier
(WhenFn ?A)
(WhenFn ?B)))))

(subclass Metallic3DPrinter ThreeDPrinter)
(documentation Metallic3DPrinter EnglishLanguage "A &%Metallic3DPrinter is
&%3DPrinter using &%Metals as printing material.")

(=>
(and
(instance ?P ThreeDPrinting)
(instance ?X Metal)
(resource ?P ?X)
(instrument ?P ?I))
(instance ?I Metallic3DPrinter))

(subclass PlasticPrinter ThreeDPrinter)
(documentation Plastic3DPrinter EnglishLanguage "A &%Plastic3DPrinter is
&%3DPrinter using &%Plastic as printing material.")

(=>
(and
(instance ?P ThreeDPrinting)
(instance ?X Plastic)
(resource ?P ?X)
(instrument ?P ?I))
(instance ?I PlasticPrinter))

(subclass TouchScreen ComputerInputDevice)
(subclass TouchScreen ComputerOutputDevice)
Expand Down
Loading

0 comments on commit 03b3865

Please sign in to comment.