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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17612-17614
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 17611-17611 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 17587-17587 Gas est un sous-attribut de Fluid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17578-17578 Liquid est un sous-attribut de Fluid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17605-17605 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 9838-9860
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9899-9921
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 21615-21621

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9060-9064
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 15450-15458
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 17616-17623
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 9545-9556
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 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