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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Asia

 Sigma KEE - Asia
Asia

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 geographicSubregion Asia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3548-3548 Asia e' uma instancia de Continente
No TPTP formula. May not be expressible in strict first order. Geography.kif 281-281 Asia e' Northwest em relacao a Oceania
No TPTP formula. May not be expressible in strict first order. Geography.kif 3550-3550 Asia engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3551-3551 Asia engloba SouthernHemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 177-177 geographicSubregion CentralAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 178-178 geographicSubregion EasternAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 179-179 geographicSubregion NorthernAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 183-183 geographicSubregion SoutheasternAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 182-182 geographicSubregion SouthernAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 184-184 geographicSubregion SouthwesternAsia and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20289-20289 habitatOfOrganism Badger and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20304-20304 habitatOfOrganism Bear and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30569-30569 habitatOfOrganism Cheetah and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30546-30546 habitatOfOrganism Crocodile and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30451-30451 habitatOfOrganism Parrot and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30528-30528 habitatOfOrganism Reindeer and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30434-30434 habitatOfOrganism Rhinoceros and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30414-30414 habitatOfOrganism Tiger and Asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 45-45 Europe encontra Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 3549-3549 Asia se chama nome "Asia"
No TPTP formula. May not be expressible in strict first order. Geography.kif 276-276 Europe e' West em relacao a Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 285-285 MiddleEastRegion e' Southwest em relacao a Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 NorthAmerica e' East em relacao a Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 146-146 MiddleEastRegion engloba Asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 820-820 KoreanPeninsula e' uma &parte de 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 Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade
No TPTP formula. May not be expressible in strict first order. Geography.kif 6707-6711


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