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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Continent
Continent(continent)
African, Continent, Eurasia, Gondwanaland, Laurasia, Pangaea, Pangea, continent, continent-wide, continental, intercontinental, transcontinental

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3341-3344
No TPTP formula. May not be expressible in strict first order. Merge.kif 13936-13941
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2560-2560
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2452-2452
No TPTP formula. May not be expressible in strict first order. Merge.kif 13934-13934 Continent is a subclass of land area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3441-3441 Nation is disjoint from continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 3443-3443 Africa is an instance of continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 3459-3459 Antarctica is an instance of continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 3470-3470 Asia is an instance of continent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 43-43 Europe is an instance of continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 3449-3449 North america is an instance of continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 3476-3476 Oceania is an instance of continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 3453-3453 South america is an instance of continent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 956-956
No TPTP formula. May not be expressible in strict first order. english_format.kif 1119-1119

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3426-3435 An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 292-296
No TPTP formula. May not be expressible in strict first order. Geography.kif 3437-3439
No TPTP formula. May not be expressible in strict first order. Geography.kif 4407-4409

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13912-13919

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13935-13935 The number of instances in continent is equal to 7


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