TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3023-3024
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11256-11257
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1788-1789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11254-11254	Water motion is a subclass of liquid motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4694-4694	Antarctic circumpolar current is an instance of water motion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1551-1551	Heavy zone is a subclass of water motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11228-11228	Precipitation is a subclass of water motion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62427-62427
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62426-62426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62425-62425

appearance as argument number 3

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

Geography.kif 5558-5558

The number 1 argument of flow current is an instance of water motion

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5561-5570	If a water area is an instance of waterfall and a water motion is an instance of water motion and the water area is a flow current of the water motion and the water motion originates at an object and the water motion ends up at another object and the object is an instance of water area and the other object is an instance of water area, then the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11259-11264	If a process is an instance of water motion, then there exists an entity such that the entity is a patient of the process and the entity is an instance of water

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1626-1638	If a process is an instance of flash flooding, then there exist another process and a real number such that the other process is an instance of water motion and the other process causes the process and the time of existence of the other process meets the time of existence of the process and duration of the time of existence of the other process is the real number hour duration(s) and the real number is less than 6.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2029-2035	If a physical is an instance of shower, then the physical has the purpose there exists an entity such that the entity is an instance of water motion and the entity originates at the physical
No TPTP formula. May not be expressible in strict first order.	Food.kif 276-283	If an entity is an instance of tap water, then there exist a process and an object such that the process is an instance of water motion and the entity is a patient of the process and the process originates at the object and the object is an instance of faucet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25443-25449	If a physical is an instance of water sprinkler, then the physical has the purpose there exists the physicalM such that the physicalM is an instance of water motion and the physicalM originates at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25465-25475	If an object is an instance of sprinkler system, then there exist an entity, a process and another process such that the process is an instance of discovering and the entity is an instance of fire and the object is an instrument for the process and the entity is a patient of the process and the other process is an instance of water motion and the other process originates at the object and the process causes the other process

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: