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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Asia

 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 3474-3474 Asia is a geographic subregion of eastern hemisphere
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. Geography.kif 281-281 Asia is northwest to oceania
No TPTP formula. May not be expressible in strict first order. Geography.kif 3472-3472 Asia and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3473-3473 Asia and southern hemisphere is 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 19620-19620 Badger inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19635-19635 Bear inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29971-29971 Cheetah inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29948-29948 Crocodile inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29853-29853 Parrot inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29930-29930 Reindeer inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29836-29836 Rhinoceros inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29816-29816 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 3471-3471 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 is 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 8667-8667
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8666-8666
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8665-8665

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


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 6395-6399


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