TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3021-3022
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11244-11246
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1786-1787
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11242-11242	Liquid motion is a subclass of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21377-21377	Bleeding is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1512-1512	Bleeding air is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 484-484	Blood circulation is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1741-1741	Cavitating is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Food.kif 651-651	Coffee making is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17523-17523	Dripping is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17579-17579	Flooding is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1480-1480	Sweating is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17532-17532	Pouring is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17601-17601	Spraying is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17527-17527	Stirring is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11254-11254	Water motion is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17550-17550	Water wave is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1600-1600	Weeping is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34655-34655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34654-34654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34653-34653

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Geography.kif 4925-4925

The number 1 argument of flow region is an instance of liquid motion

antecedent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	If an object is an instance of faucet and a process is an instance of liquid motion and an entity is a patient of the process and the process is located at the object, then there doesn't exist another entity such that the other entity is an instance of tube and the other entity contains the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11248-11252	If a process is an instance of liquid motion and an object is a patient of the process, then liquid is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11367-11384	If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object, then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	If a physical is an instance of stroke and an object is an instance of brain and the physical is located at the object, then there exists another object such that the other object is an instance of nerve cell and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	If suppliesBlood a kind of artery and a kind of body part and a physical is an instance of a kind of artery and an entity is an instance of a kind of body part, then the physical has the purpose there exist another entity and a third entity such that the other entity is an instance of liquid motion and the object transferred in the other entity is the third entity and the third entity is an instance of blood and the other entity ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	If a process is an instance of coffee making, then there exist another process, an entity and another entity such that the other process is a subprocess of the process and the other process is an instance of liquid motion and the entity is a patient of the other process and the entity is an instance of potable water and the other process ends up at the other entity and the other entity is an instance of coffee grind
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	If a time position is an instance of coffee making, then there exist an entity, another entity and a third entity such that the entity is an instance of liquid motion and the other entity is an instance of soaking and the third entity is an instance of removing and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity and the beginning of the time of existence of the other entity happens before the beginning of the time of existence of the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	If a time position is an instance of espresso making, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10741-10750	If a physical is an instance of heart, then the physical has the purpose there exist an entity, the physicalB and a third entity such that the physicalB is an instance of heart beat and the entity is an instance of liquid motion and the third entity is an instance of blood and the third entity moves during the entity and the physicalB causes the entity

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

Show without tree

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

KB Term:			Term intersection

English Word: