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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Asia
Asia(asia)
Asia, oriental

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 241-241
No TPTP formula. May not be expressible in strict first order. Geography.kif 3552-3552 Asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3548-3548 Asia is an instance of continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 281-281 Asia is northwest to oceania
No TPTP formula. May not be expressible in strict first order. Geography.kif 3550-3550 Asia and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3551-3551 Asia and southern hemisphere overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 177-177 Central asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 178-178 Eastern asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 179-179 Northern asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 183-183 Southeastern asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 182-182 Southern asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 184-184 Southwestern asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20289-20289 Badger inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20304-20304 Bear inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30569-30569 Cheetah inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30546-30546 Crocodile inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30451-30451 Parrot inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30528-30528 Reindeer inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30434-30434 Rhinoceros inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30414-30414 Tiger inhabits asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 45-45 Europe meets asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 3549-3549 Asia has name "Asia"
No TPTP formula. May not be expressible in strict first order. Geography.kif 276-276 Europe is west to asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 285-285 Middle east region is southwest to asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 North america is east to asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 146-146 Middle east region and asia overlapsSpatially
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 820-820 Korean peninsula is a part of asia
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8658-8658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8657-8657
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8656-8656

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


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


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