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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Antarctica
Antarctica

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3923-3923 claimedTerritory Antarctica and Argentina
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3924-3924 claimedTerritory Antarctica and Australia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3925-3925 claimedTerritory Antarctica and Chile
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3926-3926 claimedTerritory Antarctica and France
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3927-3927 claimedTerritory Antarctica and NewZealand
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3928-3928 claimedTerritory Antarctica and Norway
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3929-3929 claimedTerritory Antarctica and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. pictureList.kif 226-226
No TPTP formula. May not be expressible in strict first order. Geography.kif 3622-3622 geographicSubregion Antarctica and AntarcticArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 3539-3539 geographicSubregion Antarctica and SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3537-3537 Antarctica e' uma instancia de Continente
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4240-4240 Antarctica e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Geography.kif 3540-3540 Antarctica engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3541-3541 Antarctica engloba WesternHemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3538-3538 Antarctica se chama nome "Antarctica"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7752-7752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7751-7751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7750-7750

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2843-2843 codeMapping ISO-3166-1-alpha-2, "AQ" and Antarctica

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 292-296

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 292-296

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4671-4674 O comprimento de ShorelineFn SouthernOcean and Antarctica e' 17968.0 1 mil Meters(s)


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