consequent

(=>     (instance ?SHOT FirearmShot)     (exists (?C ?P ?CLASS ?X)         (and             (instance ?C Collection)             (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 1153-1166	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 Collection)             (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 2059-2077	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 Collection)                 (memberType ?COLL GunChamber)                 (memberCount ?COLL 6))) Likely))	Mid-level-ontology.kif 2079-2090	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 Collection)             (member ?M ?G)             (memberType ?G AutonomousAgent))))	Mid-level-ontology.kif 9139-9145	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
(=>     (heartRate ?H ?T ?I)     (exists (?C ?M)         (and             (instance ?C Collection)             (memberType ?C HeartBeat)             (memberCount ?C ?I)             (=>                 (member ?M ?C)                 (and                     (patient ?M ?H)                     (during                         (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11714-11726	If X beats at a rate of Y beats per Z, then there exist W, V such that W is an instance of collection, heart beat is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z
(=>     (breathingRate ?H ?T ?I)     (exists (?C ?M)         (and             (instance ?C Collection)             (memberType ?C Breath)             (memberCount ?C ?I)             (=>                 (member ?M ?C)                 (and                     (patient ?M ?H)                     (during                         (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11757-11769	If X breathes at a rate of Y breaths per Z, then there exist W, V such that W is an instance of collection, breath is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z
(=>     (attribute ?COLLECTION LineFormation)     (instance ?COLLECTION Collection))	Mid-level-ontology.kif 21396-21398	If line formation is an attribute of X, then X is an instance of collection
(=>     (instance ?ROOM SelfServiceLaundry)     (exists (?WASHER ?DRYER)         (and             (instance ?WASHER Collection)             (memberType ?WASHER ClothesWashingMachine)             (located ?WASHER ?ROOM)             (instance ?DRYER Collection)             (memberType ?DRYER ClothesDryer)             (located ?DRYER ?ROOM))))	Mid-level-ontology.kif 27801-27810	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 Collection)             (memberType ?HOLE HoleRegion)             (part ?HOLE ?X))))	Mid-level-ontology.kif 28579-28585	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 Collection)                 (memberType ?WIRE WireLine)                 (connectsEngineeringComponents ?WIRE ?X ?POWER)))))	Mid-level-ontology.kif 28587-28595	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 Collection)             (memberType ?HOLE HoleRegion)             (part ?HOLE ?ADAPT)             (material Metal ?ADAPT))))	Mid-level-ontology.kif 28636-28643	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 Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33613-33623	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 Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33638-33653	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 Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 33671-33686	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 Collection)             (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 3194-3211	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 Collection)             (memberTypeCount ?G EngineCylinder ?N)             (member ?EC ?G)             (part ?EC ?E))))	Cars.kif 4609-4616	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 ?GNP         (GrossNationalProductFn ?GPA ?Y))     (exists (?PRODANDSERV)         (and             (instance ?PRODANDSERV Collection)             (monetaryValue ?PRODANDSERV ?GNP)             (=>                 (and                     (instance ?M Manufacture)                     (result ?M ?PRODUCT)                     (agent ?M ?MAKER)                     (member ?MAKER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?M) ?Y))                 (member ?PRODUCT ?PRODANDSERV))             (=>                 (and                     (instance ?SERVICE Process)                     (attribute ?SERVICE ServiceInEconomics)                     (agent ?SERVICE ?PROVIDER)                     (member ?PROVIDER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?SERVICE) ?Y))                 (member ?SERVICE ?PRODANDSERV)))))	Economy.kif 1029-1050	If equal X and gross national product of Y during Z, then All of the following hold: (1) there exists W such that W is an instance of collection (2) value of W is X (3) V is an instance of manufacture (4) U is a result of V (5) T is an agent of V (6) T is a member of the citizenry of Y (7) finishes during the time of existence of V (8) ZU is a member of W (9) S is an instance of process (10) service is an attribute of S (11) R is an agent of S (12) R is a member of the citizenry of Y (13) finishes during the time of existence of S (14) ZS is a member of W
(=>     (equal ?NUMDEMANDED         (DemandFn ?ME))     (exists (?DESIREDITEMS ?ITEMCLASS ?CLASS)         (and             (instance ?DESIREDITEMS Collection)             (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 ?ITEM)                             (and                                 (instance ?B2 ?CLASS)                                 (transactionAmount ?B2 ?CM)                                 (patient ?B2 ?ITEM)                                 (member ?ITEM ?ME)                                 (agent ?B2 ?H)))))                 (member ?ITEM ?DESIREDITEMS)))))	Economy.kif 6787-6812	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 exist R (11) T such that R is an instance of V (12) Q is a transaction amount of R (13) T is a patient of R (14) T is a member of Y (15) 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 Collection)             (member ?C ?COLL)             (instance ?C CoffeeGrind)             (attribute ?C ?A))))	Food.kif 728-737	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 Collection)                 (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 799-834	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 Collection)                 (forall (?M)                     (=>                         (member ?M ?C)                         (part ?M ?O)))))))	Food.kif 1013-1027	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 ?C Crystal)         (attribute ?C MonoCrystalline)         (instance ?SUB Substance)         (attribute ?SUB Solid)         (attribute ?SUB PolyCrystalline)         (instance ?S Substance)         (surface ?S ?SUB)         (not             (part ?C ?S)))     (exists (?CLNT ?X ?MBR)         (and             (instance ?CLNT Collection)             (memberCount ?CLNT ?X)             (greaterThanOrEqualTo ?X 4)             (=>                 (member ?MBR ?CLNT)                 (and                     (part ?MBR ?SUB)                     (meetsSpatially ?C ?MBR))))))	Geography.kif 8797-8817	If All of the following hold: (1) X is an instance of crystal (2) mono crystalline is an attribute of X (3) Y is an instance of substance (4) solid is an attribute of Y (5) poly crystalline is an attribute of Y (6) Z is an instance of substance (7) Z is a surface of Y (8) X is not a part of Z, then there exist W, V, U such that W is an instance of collection, V is a member count of W, V is greater than or equal to 4, U is a member of WU is a part of Y, and X meets U
(=>     (subBrand ?BRAND1 ?BRAND2)     (exists (?COLL ?OBJ)         (and             (instance ?COLL Collection)             (represents ?BRAND1 ?COLL)             (member ?OBJ ?COLL)             (represents ?BRAND2 ?OBJ))))	Hotel.kif 1346-1353	If X is a sub-brand of Y, then there exist Z, W such that Z is an instance of collection, Y expresses Z, W is a member of Z, and X expresses W
(=>     (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)     (subclass ?PRODUCTTYPE Collection))	Media.kif 3187-3189	If X is the title in Y for instances of Z, then Z is a subclass of collection
(=>     (and         (instance ?R Rotating)         (patient ?R ?TRACK)         (instance ?TRACK ContinuousTrack))     (exists (?COLL ?MEM ?I ?TREAD ?R2)         (and             (instance ?COLL Collection)             (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 193-212	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
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 is open source software produced by Articulate Software and its partners