Continent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3341-3344
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14253-14258
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2558-2558
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2450-2450
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	Continent is a subclass of land area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3507-3507	Nation is disjoint from continent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3509-3509	Africa is an instance of continent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3525-3525	Antarctica is an instance of continent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3536-3536	Asia is an instance of continent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 43-43	Europe is an instance of continent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3515-3515	North america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3542-3542	Oceania is an instance of continent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3519-3519	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 956-956	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1119-1119	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	french_format.kif 632-632	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 163-163	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 166-166	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2317-2317	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 584-584	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 168-168	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 200-200	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 459-459	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 653-653	South america is an instance of continent
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 167-167	South america is an instance of continent

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3492-3501	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	If an object is an instance of continent and the object is not equal to antarctica, then antarctica is south to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3503-3505	If a geographic area is an instance of continent, then the geographic area is a geographic subregion of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4577-4579	If an object is an instance of continent, then the object meets world ocean

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3525-3549	If a process is an instance of pandemic, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is not equal to the other entity and the third entity is an instance of nation and the fourth entity is an instance of nation and the third entity is not equal to the fourth entity and the fifth entity is an instance of continent and the sixth entity is an instance of continent and the fifth entity is not equal to the sixth entity and the entity is located at the fifth entity and the other entity is located at the sixth entity or the entity is located at the third entity and the other entity is located at the fourth entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14229-14236	If an object is an instance of land area, then there exists another object such that the object is a part of the other object and the other object is an instance of continent or the other object is an instance of island

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14252-14252

The number of instances in continent is equal to 7

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

KB Term:			Term intersection

English Word: