consequent

(=>     (instance ?SHOT FirearmShot)     (exists (?C ?P ?CLASS ?X)         (and             (instance ?C CollectionOfObjects)             (member ?P ?C)             (instance ?P ?CLASS)             (subclass ?CLASS SphericalObject)             (approximateDiameter ?P                 (MeasureFn ?X Millimeter))             (modalAttribute                 (and                     (material ?CLASS Lead)                     (lessThan ?X 10)) Likely))))	Mid-level-ontology.kif 1147-1160	If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely
(=>     (instance ?GUN RevolverGun)     (exists (?CY ?COLL ?C ?BC)         (and             (part ?CY ?GUN)             (instance ?CY GunCylinder)             (part ?COLL ?CY)             (instance ?COLL CollectionOfObjects)             (member ?C ?COLL)             (instance ?C GunChamber)             (contains ?C ?BC)             (instance ?BC BulletCartridge)             (not                 (exists (?BC2)                     (and                         (instance ?BC2 BulletCartridge)                         (not                             (equal ?BC ?BC2))                         (contains ?C ?BC2)))))))	Mid-level-ontology.kif 2110-2128	If X is an instance of revolver gun, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a part of X (3) Y is an instance of gun cylinder (4) Z is a part of Y (5) Z is an instance of collection (6) W is a member of Z (7) W is an instance of gun chamber (8) W contains V (9) V is an instance of bullet cartridge (10) there doesn't exist U such that U is an instance of bullet cartridge (11) equal V (12) U (13) W contains U
(=>     (and         (instance ?GUN RevolverGun)         (part ?CY ?GUN)         (instance ?CY GunCylinder))     (modalAttribute         (exists (?COLL)             (and                 (part ?COLL ?CY)                 (instance ?COLL CollectionOfObjects)                 (memberType ?COLL GunChamber)                 (memberCount ?COLL 6))) Likely))	Mid-level-ontology.kif 2130-2141	If X is an instance of revolver gun, Y is a part of X, and Y is an instance of gun cylinder, then the statement there exists Z such that Z is a part of Y, Z is an instance of collection, gun chamber is a member type of Z, and 6 is a member count of Z has the modal force of likely
(=>     (instance ?LGP LargeGroupProcess)     (exists (?G ?M)         (and             (instance ?G CollectionOfObjects)             (member ?M ?G)             (memberType ?G AutonomousAgent))))	Mid-level-ontology.kif 9253-9259	If X is an instance of large group process, then there exist Y, Z such that Y is an instance of collection, Z is a member of Y, and agent is a member type of Y
(=>     (attribute ?COLLECTION LineFormation)     (instance ?COLLECTION CollectionOfObjects))	Mid-level-ontology.kif 21330-21332	If line formation is an attribute of X, then X is an instance of collection
(=>     (instance ?ROOM SelfServiceLaundry)     (exists (?WASHER ?DRYER)         (and             (instance ?WASHER CollectionOfObjects)             (memberType ?WASHER ClothesWashingMachine)             (located ?WASHER ?ROOM)             (instance ?DRYER CollectionOfObjects)             (memberType ?DRYER ClothesDryer)             (located ?DRYER ?ROOM))))	Mid-level-ontology.kif 27705-27714	If X is an instance of self-service laundry, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of collection (3) clothes washing machine is a member type of Y (4) Y is located at X (5) Z is an instance of collection (6) clothes dryer is a member type of Z (7) Z is located at X
(=>     (instance ?X ElectricalOutlet)     (exists (?HOLE)         (and             (instance ?HOLE CollectionOfObjects)             (memberType ?HOLE HoleRegion)             (part ?HOLE ?X))))	Mid-level-ontology.kif 28483-28489	If X is an instance of electrical outlet, then there exists Y such that Y is an instance of collection, hole is a member type of Y, and Y is a part of X
(=>     (instance ?X ElectricalOutlet)     (hasPurpose ?X         (exists (?POWER ?WIRE)             (and                 (instance ?POWER PowerSource)                 (instance ?WIRE CollectionOfObjects)                 (memberType ?WIRE WireLine)                 (connectsEngineeringComponents ?WIRE ?X ?POWER)))))	Mid-level-ontology.kif 28491-28499	If X is an instance of electrical outlet, then X has the purpose there exist Y, Z such that Y is an instance of power source, Z is an instance of collection, wire line is a member type of Z, Z connects X, and Y
(=>     (instance ?ADAPT OutletAdapter)     (exists (?HOLE)         (and             (instance ?HOLE CollectionOfObjects)             (memberType ?HOLE HoleRegion)             (part ?HOLE ?ADAPT)             (material Metal ?ADAPT))))	Mid-level-ontology.kif 28540-28547	If X is an instance of outlet adapter, then there exists Y such that Y is an instance of collection, hole is a member type of Y, Y is a part of X, and X is made of metal
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (desires ?A         (exists (?G)             (and                 (instance ?G CollectionOfObjects)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33506-33516	If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then Z desires there exists U such that U is an instance of collection, Y is a member type of U, X is a member count of U, and Z possesses U
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (not         (exists (?B ?G)             (and                 (instance ?B Buying)                 (during                     (WhenFn ?B) ?T)                 (objectTransferred ?B ?G)                 (transactionAmount ?B ?C)                 (agent ?B ?A)                 (instance ?G CollectionOfObjects)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33531-33546	If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then All of the following hold: (1) there don't exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of collection (8) Y is a member type of T (9) X is a member count of T (10) Z possesses T
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (desires ?A         (exists (?B ?G)             (and                 (instance ?B Buying)                 (during                     (WhenFn ?B) ?T)                 (objectTransferred ?B ?G)                 (transactionAmount ?B ?C)                 (agent ?B ?A)                 (instance ?G CollectionOfObjects)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33564-33579	If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then All of the following hold: (1) Z desires there exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of collection (8) Y is a member type of T (9) X is a member count of T (10) Z possesses T
(=>     (coilCount ?WC ?N)     (exists (?C ?C2F)         (and             (instance ?C CollectionOfObjects)             (memberCount ?C ?N)             (forall (?M)                 (=>                     (member ?M ?C)                     (and                         (attribute ?M ?C2F)                         (instance ?C2F ClosedTwoDimensionalFigure)                         (part ?M ?WC)                         (not                             (exists (?M2)                                 (and                                     (overlapsSpatially ?M2 ?M)                                     (member ?M2 ?C))))))))))	Cars.kif 3006-3023	If the number of coils in X is Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of collection (3) Y is a member count of Z (4) V V is a member of ZW is an attribute of V (5) W is an instance of closed two dimensional figure (6) V is a part of X (7) there doesn't exist U such that U (8) V overlapsSpatially (9) U is a member of Z
(=>     (engineCylinders ?E ?N)     (exists (?G ?EC)         (and             (instance ?G CollectionOfObjects)             (memberTypeCount ?G EngineCylinder ?N)             (member ?EC ?G)             (part ?EC ?E))))	Cars.kif 4423-4430	If engine X has Y cylinders, then there exist Z, W such that Z is an instance of collection, Z is member type count engine cylinder for Y, W is a member of Z, and W is a part of X
(=>     (equal ?NUMDEMANDED         (DemandFn ?ME))     (exists (?DESIREDITEMS ?ITEMCLASS ?CLASS)         (and             (instance ?DESIREDITEMS CollectionOfObjects)             (memberCount ?DESIREDITEMS ?NUMDEMANDED)             (memberType ?ME ?ITEMCLASS)             (=>                 (and                     (instance ?H Human)                     (instance ?ITEM ?ITEMCLASS)                     (=>                         (and                             (instance ?B1 ?CLASS)                             (subclass ?CLASS Buying)                             (patient ?B1 ?ITEM))                         (capability ?CLASS agent ?H))                     (desires ?H                         (exists (?B2)                             (and                                 (instance ?B2 ?CLASS)                                 (transactionAmount ?B2 ?CM)                                 (patient ?B2 ?ITEM)                                 (member ?ITEM ?ME)                                 (agent ?B2 ?H)))))                 (member ?ITEM ?DESIREDITEMS)))))	Economy.kif 6803-6828	If equal X and demand Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of collection (3) X is a member count of Z (4) W is a member type of Y (5) U is an instance of human (6) T is an instance of W (7) S is an instance of V (8) V is a subclass of buying (9) T is a patient of SU is capable of doing V as a agent (10) U desires there exists R such that R is an instance of V (11) Q is a transaction amount of R (12) T is a patient of R (13) T is a member of Y (14) U is an agent of RT is a member of Z
(=>     (optimalGrindSizeForMakingCoffee ?CLASS ?A)     (exists (?CM ?COLL ?C)         (and             (instance ?CM ?CLASS)             (patient ?CM ?COLL)             (instance ?COLL CollectionOfObjects)             (member ?C ?COLL)             (instance ?C CoffeeGrind)             (attribute ?C ?A))))	Food.kif 704-713	If X is the optimal CoffeeGrindAttribute for Y coffee making process, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of Y (3) W is a patient of Z (4) W is an instance of collection (5) V is a member of W (6) V is an instance of coffee grind (7) X is an attribute of V
(=>     (instance ?EM EspressoMaking)     (holdsDuring ?EM         (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)             (and                 (instance ?H Heating)                 (patient ?H ?W)                 (measure ?W                     (MeasureFn ?V Liter))                 (approximateValue ?V 0.03)                 (holdsDuring                     (EndFn                         (WhenFn ?H))                     (and                         (measure ?W                             (MeasureFn ?T CelsiusDegree))                         (approximateValue ?T 90)))                 (instance ?LM LiquidMotion)                 (patient ?LM ?W)                 (holdsDuring ?LM                     (and                         (measure ?W                             (MeasureFn ?P                                 (KiloFn Pascal)))                         (approximateValue ?P 900)))                 (destination ?LM ?COLL)                 (instance ?COLL CollectionOfObjects)                 (measure ?COLL                     (MeasureFn ?K Gram))                 (approximateValue ?K 7.5)                 (member ?COLL ?CG)                 (instance ?CG CoffeeGrind)                 (attribute ?CG FineGrind)                 (located ?COLL ?F)                 (instance ?F Filter)                 (instance ?R Removing)                 (instrument ?R ?F)                 (patient ?R ?COLL)                 (temporallyBetween                     (EndFn                         (WhenFn ?H))                     (EndFn                         (WhenFn ?LM))                     (EndFn                         (WhenFn ?R)))))))	Food.kif 776-811	If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X
(=>     (and         (instance ?G Grinding)         (patient ?G ?O)         (instance ?O CorpuscularObject))     (holdsDuring         (EndFn             (WhenFn ?G))         (exists (?C)             (and                 (result ?G ?C)                 (instance ?C CollectionOfObjects)                 (forall (?M)                     (=>                         (member ?M ?C)                         (part ?M ?O)))))))	Food.kif 990-1004	If X is an instance of grinding, Y is a patient of X, and Y is an instance of corpuscular object, then there exists Z such that Z is a result of X, Z is an instance of collection, and W W is a member of ZW is a part of Y holds during the end of the time of existence of X
(=>     (and         (instance ?R Rotating)         (patient ?R ?TRACK)         (instance ?TRACK ContinuousTrack))     (exists (?COLL ?MEM ?I ?TREAD ?R2)         (and             (instance ?COLL CollectionOfObjects)             (member ?MEM ?COLL)             (instance ?MEM Wheel)             (memberCount ?MEM ?I)             (greaterThan ?I 2)             (part ?COLL ?TRACK)             (part ?TREAD ?TRACK)             (instance ?TREAD CorpuscularObject)             (shape ?TREAD LongAndThin)             (attribute ?TREAD Pliable)             (located ?COLL ?TREAD)             (instance ?R2 Rotating)             (causes ?R2 ?R))))	Military.kif 195-214	If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X
(=>     (instance ?AB ArtilleryBattery)     (exists (?COLL ?I)         (and             (instance ?COLL CollectionOfObjects)             (memberType ?COLL ArtilleryGun)             (memberCount ?COLL ?I)             (greaterThan ?I 2)             (possesses ?AB ?COLL))))	MilitaryPersons.kif 508-516	If X is an instance of artillery battery, then there exist Y, Z such that Y is an instance of collection, artillery gun is a member type of Y, Z is a member count of Y, Z is greater than 2, and X possesses Y
(=>     (instance ?B BowlingBall)     (exists (?HOLES)         (and             (instance ?HOLES CollectionOfObjects)             (memberType ?HOLES HoleRegion)             (memberCount ?HOLES 3)             (located ?HOLES ?B)             (hasPurpose ?HOLES                 (exists (?FINGER ?HOLE)                     (and                         (member ?HOLE ?HOLES)                         (instance ?FINGER Finger)                         (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1153-1166	If X is an instance of bowling ball, then All of the following hold: (1) there exists Y such that Y is an instance of collection (2) hole is a member type of Y (3) 3 is a member count of Y (4) Y is located at X (5) Y has the purpose there exist Z (6) W such that W is a member of Y (7) Z is an instance of finger (8) Z partially fills W
(=>     (instance ?BF BowlingFacility)     (exists (?BL)         (and             (instance ?BL CollectionOfObjects)             (memberType ?BL BowlingLane)             (located ?BL ?BF))))	Sports.kif 1190-1196	If X is an instance of bowling facility, then there exists Y such that Y is an instance of collection, bowling lane is a member type of Y, and Y is located at X
(=>     (instance ?S AirportStagingArea)     (hasPurpose ?S         (exists (?B ?C ?D ?T)             (and                 (instance ?B Boarding)                 (instance ?C CollectionOfObjects)                 (instrument ?B ?C)                 (member ?D ?C)                 (instance ?D Device)                 (locatedAtTime ?C ?T ?S)                 (during ?T                     (WhenFn ?B))))))	Transportation.kif 1318-1329	If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of boarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y
(=>     (instance ?S AirportStagingArea)     (hasPurpose ?S         (exists (?DB ?C ?D ?T)             (and                 (instance ?DB Deboarding)                 (instance ?C CollectionOfObjects)                 (instrument ?DB ?C)                 (member ?D ?C)                 (instance ?D Device)                 (locatedAtTime ?C ?T ?S)                 (during ?T                     (WhenFn ?DB))))))	Transportation.kif 1331-1342	If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of deboarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y
(=>     (instance ?B Bus)     (hasPurpose ?B         (exists (?C ?T ?N ?P)             (and                 (instance ?C CollectionOfObjects)                 (instance ?T Transportation)                 (memberCount ?C ?N)                 (greaterThan ?N 11)                 (=>                     (member ?P ?C)                     (patient ?T ?P))))))	Transportation.kif 2132-2143	If X is an instance of bus, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of collection, Z is an instance of transportation, W is a member count of Y, W is greater than 11, and V is a member of YV is a patient of Z
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners