consequent

(=>     (instance ?COLL CollectionOfObjects)     (memberType ?COLL Object))	Merge.kif 1382-1384	If X is an instance of collection, then object is a member type of X
(=>     (instance ?COLL CollectionOfProcesses)     (memberType ?COLL Process))	Merge.kif 1390-1392	If X is an instance of collection, then process is a member type of X
(=>     (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 ?FLEET Fleet)     (memberType ?FLEET Vehicle))	Mid-level-ontology.kif 4143-4145	If X is an instance of Fleet, then vehicle is a member type of X
(=>     (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
(=>     (heartRate ?H ?T ?I)     (exists (?C ?M)         (and             (instance ?C CollectionOfProcesses)             (memberType ?C HeartBeat)             (memberCount ?C ?I)             (=>                 (member ?M ?C)                 (and                     (patient ?M ?H)                     (during                         (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11796-11808	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 CollectionOfProcesses)             (memberType ?C Breath)             (memberCount ?C ?I)             (=>                 (member ?M ?C)                 (and                     (patient ?M ?H)                     (during                         (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11839-11851	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
(=>     (instance ?RC RibCage)     (memberType ?RC RibBone))	Mid-level-ontology.kif 12739-12741	If X is an instance of rib cage, then rib is a member type of X
(=>     (instance ?S Skull)     (memberType ?S Bone))	Mid-level-ontology.kif 12983-12985	If X is an instance of skull, then bone is a member type of X
(=>     (memberTypeCount ?GROUP ?TYPE ?NUMBER)     (exists (?SUBGROUP)         (and             (subCollection ?SUBGROUP ?GROUP)             (memberCount ?SUBGROUP ?NUMBER)             (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 24949-24955	If X is member type count Y for Z, then there exists W such that W is a proper sub-collection of X, Z is a member count of W, and Y is a member type of W
(=>     (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
(=>     (instance ?X PublicAddressSystem)     (and         (memberType ?X Microphone)         (memberType ?X SpeakerDevice)))	Mid-level-ontology.kif 28668-28672	If X is an instance of public address system, then microphone is a member type of X and speaker is a member type of X
(=>     (instance ?X SurveillanceSystem)     (and         (memberType ?X Camera)         (memberType ?X VideoDisplay)))	Mid-level-ontology.kif 29561-29565	If X is an instance of surveillance system, then camera is a member type of X and video display is a member type of X
(=>     (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
(=>     (and         (instance ?COLL CollectionOfObjects)         (memberType ?COLL Chromosome)         (member ?M ?COLL)         (part ?M EmmerWheatGrass))     (exists (?A ?B ?X ?Y)         (and             (subCollection ?A ?COLL)             (instance ?A HomologousChromosomeSet)             (memberType ?A ?X)             (initialPart ?X EinkornWheatGrass)             (subCollection ?B ?COLL)             (instance ?B HomologousChromosomeSet)             (memberType ?B ?Y)             (initialPart ?Y AegilopsGrass))))	Economy.kif 4211-4226	If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of emmer wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a einkorn wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops grass
(=>     (and         (instance ?COLL CollectionOfObjects)         (memberType ?COLL Chromosome)         (member ?M ?COLL)         (part ?M DurumWheatGrass))     (exists (?A ?B ?X ?Y)         (and             (subCollection ?A ?COLL)             (instance ?A HomologousChromosomeSet)             (memberType ?A ?X)             (initialPart ?X TriticumUrartu)             (subCollection ?B ?COLL)             (instance ?B HomologousChromosomeSet)             (memberType ?B ?Y)             (initialPart ?Y AegilopsSpeltoides))))	Economy.kif 4243-4258	If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of durum wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a Triticum urartu (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Speltoides
(=>     (and         (instance ?COLL CollectionOfObjects)         (memberType ?COLL Chromosome)         (member ?M ?COLL)         (part ?M CommonWheatGrass))     (exists (?A ?B ?X ?Y)         (and             (subCollection ?A ?COLL)             (instance ?A HomologousChromosomeSet)             (memberType ?A ?X)             (initialPart ?X EmmerWheatGrass)             (subCollection ?B ?COLL)             (instance ?B HomologousChromosomeSet)             (memberType ?B ?Y)             (initialPart ?Y AegilopsTauschii))))	Economy.kif 4302-4317	If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of common wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a emmer wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Tauschii
(=>     (equal ?M         (MarketOfItemFn ?OBJCLASS))     (and         (instance ?M MarketEconomics)         (memberType ?M ?OBJCLASS)))	Economy.kif 6731-6735	If equal X and Y market, then X is an instance of market and Y is a member type of X
(=>     (equal ?M         (MarketOfItemInRegionFn ?OBJ ?REGION))     (and         (instance ?M MarketEconomics)         (located ?M ?REGION)         (memberType ?M ?OBJ)))	Economy.kif 6762-6767	If equal X and market of Y in Z, then X is an instance of market, X is located at Z, and Y is a member type 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
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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners