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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - waterDepth
waterDepth

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17569-17570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17566-17566 The number 1 argument of water depth is an instance of water area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17567-17567 The number 2 argument of water depth is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17565-17565 water depth is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17568-17568 water depth is a subrelation of length

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2619-2619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2618-2618
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2617-2617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62391-62391
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62390-62390
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62389-62389

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17572-17578

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17585-17600
No TPTP formula. May not be expressible in strict first order. Geography.kif 4958-4976


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