Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

a few corrections and continue to work on ShapeAttributes #377

Merged
merged 1 commit into from
Apr 3, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 8 additions & 6 deletions Cars.kif
Original file line number Diff line number Diff line change
Expand Up @@ -3071,10 +3071,11 @@ and often used in the construction of &%ElectricalTransformers.")

(=>
(instance ?WC WireCoil)
(exists (?P)
(exists (?P ?C)
(and
(part ?P ?WC)
(attribute ?P ClosedTwoDimensionalFigure))))
(attribute ?P ?C)
(instance ?C ClosedTwoDimensionalFigure))))

(subclass ElectricalTransformer Transformer)
(termFormat EnglishLanguage ElectricalTransformer "electrical transformer")
Expand Down Expand Up @@ -3116,23 +3117,24 @@ as the ratio of the resulting voltages.")

(=>
(coilCount ?WC ?N)
(exists (?C)
(exists (?C ?C2F)
(and
(instance ?C Collection)
(memberCount ?C ?N)
(memberCount ?C ?N)
(forall (?M)
(=>
(member ?M ?C)
(and
(attribute ?M ClosedTwoDimensionalFigure)
(attribute ?M ?C2F)
(instance ?C2F ClosedTwoDimensionalFigure)
(part ?M ?WC)
(not
(exists (?M2)
(and
(overlapsSpatially ?M2 ?M)
(member ?M2 ?C))))))))))

(subclass IgnitionCoil ElectricalTransformer)
(subclass IgnitionCoil ElectricalTransformer)
(termFormat EnglishLanguage IgnitionCoil "ignition coil")
(documentation IgnitionCoil EnglishLanguage "An &%ElectricalTransformer designed
to take 12 &%Volt power from the &%Battery of an &%Automobile and convert it
Expand Down
6 changes: 3 additions & 3 deletions Geography.kif
Original file line number Diff line number Diff line change
Expand Up @@ -4395,9 +4395,9 @@ ample supply of loose sand. Dunes are generally defined as greater than 7 cm tal
(termFormat EnglishLanguage Dune "dune")

(=>
(instance ?D Dune)
(material ?D Sand))

(material Dune ?S)
(instance ?S Sand))
(=>
(and
(instance ?D Dune)
Expand Down
2 changes: 1 addition & 1 deletion Merge.kif
Original file line number Diff line number Diff line change
Expand Up @@ -11256,7 +11256,7 @@ liquid or frozen state.")
(subclass Wind GasMotion)
(documentation Wind EnglishLanguage "Any &%Motion of &%Air.")

(instance Windy Attibute)
(instance Windy Attribute)
(documentation Windy EnglishLanguage "An &%Attribute indicating that at a given
time and place the &%surfaceWindSpeed is greater than 20mph.")
(termFormat EnglishLanguage Windy "windy")
Expand Down
37 changes: 16 additions & 21 deletions Mid-level-ontology.kif
Original file line number Diff line number Diff line change
Expand Up @@ -4900,16 +4900,18 @@ exclusively of straight lines, i.e. &%OneDimensionalFigures.")
(KappaFn ?SIDE
(sideOfFigure ?SIDE ?TRIANGLE))) 3))

(subclass RightTriangle Triangle)
(instance RightTriangle Triangle)
(documentation RightTriangle EnglishLanguage "Any &%Triangle that contains a &%RightAngle.")

(=>
(instance ?T RightTriangle)
(exists (?A)
(and
(instance ?A RightAngle)
(angleOfFigure ?A ?T))))

(and
(equal ?T RightTriangle)
(instance ?T Triangle))
(exists (?A)
(and
(instance ?A RightAngle)
(angleOfFigure ?A ?T))))

(subclass Quadrilateral Polygon)
(documentation Quadrilateral EnglishLanguage "Any four-sided &%Polygon.")

Expand All @@ -4920,27 +4922,20 @@ exclusively of straight lines, i.e. &%OneDimensionalFigures.")
(KappaFn ?SIDE
(sideOfFigure ?SIDE ?QUAD))) 4))

(subclass Rectangle Quadrilateral)
(instance Rectangle Quadrilateral)
(documentation Rectangle EnglishLanguage "Any &%Quadrilateral whose angles are all
&%RightAngles.")

(=>
(instance ?RECTANGLE Rectangle)
(exists (?ANGLE)
(and
(angleOfFigure ?ANGLE ?RECTANGLE)
(instance ?ANGLE RightAngle))))
(angleOfFigure ?ANGLE Rectangle)
(instance ?ANGLE RightAngle))

(subclass Square Rectangle)
(subAttribute Square Rectangle)
(documentation Square EnglishLanguage "Any &%Rectangle whose sides are all equal.")

(=>
(instance ?SQUARE Square)
(exists (?LENGTH)
(forall (?SIDE)
(=>
(sideOfFigure ?SIDE ?SQUARE)
(lineMeasure ?SIDE ?LENGTH)))))
(sideOfFigure ?SIDE Square)
(lineMeasure ?SIDE ?LENGTH))

(documentation DiameterFn EnglishLanguage "(DiameterFn ?CIRCLE) denotes the length of the
diameter of the &%Circle ?CIRCLE.")
Expand Down Expand Up @@ -4970,7 +4965,7 @@ of the &%Circle ?CIRCLE.")
(geometricDistance ?P2 ?P ?R))
(equal (RadiusFn ?C) ?R))

(subclass CircleSector ClosedTwoDimensionalFigure)
(instance CircleSector ClosedTwoDimensionalFigure)
(documentation CircleSector EnglishLanguage "A slice of a &%Circle, i.e. any
&%ClosedTwoDimensionalFigure which consists of two Radii and the arc of
the &%Circle that they bound.")
Expand Down
2 changes: 1 addition & 1 deletion MilitaryDevices.kif
Original file line number Diff line number Diff line change
Expand Up @@ -2093,7 +2093,7 @@ land and water")
(termFormat EnglishLanguage Barricade "barricade")
(termFormat EnglishLanguage AmphibiousVehicle "amphibious vehicle")

(sublass Shrapnel Object)
(subclass Shrapnel Object)
(documentation Shrapnel EnglishLanguage "Parts of a &%Bomb that are designed to spread out
from the explosion and cause damage to &%Humans and objects.")
(termFormat EnglishLanguage Shrapnel "shrapnel")
Expand Down
4 changes: 2 additions & 2 deletions development/Useful-terms_2023.kif
Original file line number Diff line number Diff line change
Expand Up @@ -604,10 +604,10 @@ measuring the distance travelled by a vehicle, such as a car.[Wikipedia]")

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

(=>
(and
Expand Down
Loading