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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oceania
Oceania

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 637-637
No TPTP formula. May not be expressible in strict first order. Geography.kif 3554-3554 Oceania est une instance de continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 106-106 Oceania est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order. Geography.kif 284-284 Oceania est SouthwestNorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 3558-3558 Oceania recouvre EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3556-3556 Oceania recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3557-3557 Oceania recouvre SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3559-3559 Oceania recouvre WesternHemisphere

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 659-659 geographicSubregion AmericanSamoa and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 660-660 geographicSubregion Australia and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 663-663 geographicSubregion BakerIsland and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 664-664 geographicSubregion CookIslands and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 665-665 geographicSubregion CoralSeaIslands and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 666-666 geographicSubregion Fiji and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 668-668 geographicSubregion FrenchPolynesia and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 669-669 geographicSubregion Guam and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 670-670 geographicSubregion HowlandIsland and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 671-671 geographicSubregion JarvisIsland and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 672-672 geographicSubregion JohnstonAtoll and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 673-673 geographicSubregion KingmanReef and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 674-674 geographicSubregion Kiribati and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 676-676 geographicSubregion MarshallIslands and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 678-678 geographicSubregion Micronesia and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 680-680 geographicSubregion MidwayIslands and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 681-681 geographicSubregion Nauru and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 683-683 geographicSubregion NewCaledonia and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 684-684 geographicSubregion NewZealand and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 686-686 geographicSubregion Niue and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 687-687 geographicSubregion NorfolkIsland and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 688-688 geographicSubregion NorthernMarianaIslands and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 689-689 geographicSubregion Palau and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 691-691 geographicSubregion PalmyraAtoll and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 692-692 geographicSubregion PitcairnIslands and Oceania

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 Entit� est une instance de continent Africa est entit� NorthAmerica est entit� SouthAmerica est entit� Antarctica est entit� Europe est entit� Asia est entit� Oceania est entit�


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