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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Antarctica
Antarctica(antarctica)
Antarctic_continent, Antarctica

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3923-3923 Argentina is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3924-3924 Australia is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3925-3925 Chile is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3926-3926 France is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3927-3927 New zealand is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3928-3928 Norway is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3929-3929 United kingdom is a claimed territory of antarctica
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 3544-3544 Antarctica is a geographic subregion of antarctic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3461-3461 Antarctica is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3459-3459 Antarctica is an instance of continent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4240-4240 Antarctica is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3462-3462 Antarctica and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3463-3463 Antarctica and western hemisphere is overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3460-3460 Antarctica has name "Antarctica"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7761-7761
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7760-7760
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7759-7759

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2831-2831 "AQ" in ISO-3166-1-alpha-2 denotes 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 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 292-296

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4570-4573 The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand 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