Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fluid

 Sigma KEE - Fluid
Fluid

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3926-3927
No TPTP formula. May not be expressible in strict first order. Merge.kif 17590-17592
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6521-6521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6016-6016
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6520-6520
No TPTP formula. May not be expressible in strict first order. Merge.kif 17589-17589 Fluid est une instance de attribut interne

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17565-17565 Gas est un sous-attribut de Fluid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17556-17556 Liquid est un sous-attribut de Fluid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17583-17583 Plasma est un sous-attribut de Fluid
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24362-24362
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24361-24361
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24360-24360

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9839-9861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9900-9922
No TPTP formula. May not be expressible in strict first order. Cars.kif 871-885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4734-4739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21616-21622

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9061-9065
No TPTP formula. May not be expressible in strict first order. Transportation.kif 777-783
No TPTP formula. May not be expressible in strict first order. Medicine.kif 895-917
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15451-15459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4682-4686
No TPTP formula. May not be expressible in strict first order. Merge.kif 17594-17601
No TPTP formula. May not be expressible in strict first order. Medicine.kif 924-938
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2428-2430
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9546-9557
No TPTP formula. May not be expressible in strict first order. Geography.kif 2670-2672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1527-1535
No TPTP formula. May not be expressible in strict first order. engineering.kif 914-925

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5426-5426 Le nombre 1 argument de flows est une instance de la classe correspondant � Fluid
No TPTP formula. May not be expressible in strict first order. Geography.kif 5427-5427 Le nombre 2 argument de flows est une instance de la classe correspondant � Fluid
No TPTP formula. May not be expressible in strict first order. Weather.kif 11-11 Atmosphere est une sous-classe de la classe correspondant � Fluid


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