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

Formal Language: 



KB Term:  Term intersection
English Word: 

  comparativeArea

Sigma KEE - comparativeArea
comparativeArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 652-657
No TPTP formula. May not be expressible in strict first order. Geography.kif 646-646 The number 1 argument of comparative area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 648-648 The number 2 argument of comparative area is an instance of binary relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Geography.kif 649-649 The number 3 argument of comparative area is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Geography.kif 650-650 The number 4 argument of comparative area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 645-645 comparative area is an instance of quaternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 500-500
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 499-499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 498-498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16140-16140
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16139-16139
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16138-16138

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 659-669

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4676-4676 Southern ocean comparative area greater than for 2.0 with united states


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