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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - groundSubsurfaceType
groundSubsurfaceType

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4282-4284
No TPTP formula. May not be expressible in strict first order. Geography.kif 4285-4285 The number 1 argument of ground subsurface type is an instance of land area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4286-4286 The number 2 argument of ground subsurface type is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4281-4281 ground subsurface type is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1129-1129
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1128-1128
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1127-1127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26712-26712
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26711-26711
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26710-26710

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4288-4297

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4041-4041 Rock is a ground subsurface type of mountain


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