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 4048-4050
No TPTP formula. May not be expressible in strict first order. Geography.kif 4051-4051 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 4052-4052 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 4047-4047 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 26641-26641 "地下表面类型" is the printable form of ground subsurface type in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26640-26640 "地下表面類型" is the printable form of ground subsurface type in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26639-26639 "ground subsurface type" is the printable form of ground subsurface type in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4054-4063

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3820-3820 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners