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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - arableLandArea
arableLandArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2075-2078
No TPTP formula. May not be expressible in strict first order. Geography.kif 2072-2072 The number 1 argument of arable land area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 2073-2073 The number 2 argument of arable land area is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2071-2071 arable land area is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 192-192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 191-191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 190-190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8136-8136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8135-8135
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8134-8134

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2090
No TPTP formula. May not be expressible in strict first order. Geography.kif 2092-2106

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2090


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