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

Formal Language: 



KB Term:  Term intersection
English Word: 

  landAreaOnly

Sigma KEE - landAreaOnly
landAreaOnly

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 541-544
No TPTP formula. May not be expressible in strict first order. Geography.kif 538-538 The number 1 argument of land area only is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 539-539 The number 2 argument of land area only is an instance of area measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 537-537 land area only is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1431-1431
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1430-1430
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1429-1429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33205-33205
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33204-33204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33203-33203

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 555-560
No TPTP formula. May not be expressible in strict first order. Geography.kif 579-585


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