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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fluid

Sigma KEE - Fluid
Fluid(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 is an instance of internal attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17565-17565 Gas is a subattribute of fluid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17556-17556 Liquid is a subattribute of fluid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17583-17583 Plasma is a subattribute of 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 The number 1 argument of flows is an instance of the class corresponding to fluid
No TPTP formula. May not be expressible in strict first order. Geography.kif 5427-5427 The number 2 argument of flows is an instance of the class corresponding to fluid
No TPTP formula. May not be expressible in strict first order. Weather.kif 11-11 Atmosphere is a subclass of the class corresponding to 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