LiquidMotion - Sigma 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 11345-11347
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 11343-11343	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 23012-23012	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 473-473	Blood circulation is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1742-1742	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 19092-19092	Dripping is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19148-19148	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 19101-19101	Pouring is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19170-19170	Spraying is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19096-19096	Stirring is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11355-11355	Water motion is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19119-19119	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 34683-34683	Weeping is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34682-34682	Weeping is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34681-34681	Weeping is a subclass of liquid motion

appearance as argument number 3

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

Geography.kif 4995-4995

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 1252-1265	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 11349-11353	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 12717-12734	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 13264-13281	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 1988-1999	If supplies blood 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 12091-12100	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 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

KB Term:			Term intersection

English Word: