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 659-664
No TPTP formula. May not be expressible in strict first order. Geography.kif 653-653 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 655-655 The number 2 argument of comparative area is an instance of BinaryRelationExtendedToQuantities
No TPTP formula. May not be expressible in strict first order. Geography.kif 656-656 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 657-657 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 652-652 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 16131-16131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16130-16130
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16129-16129

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 666-676

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4575-4575 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