TreeView Knowledge Base Browser - AntarcticArea

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AntarcticArea

AntarcticArea(antarctic area)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3625-3629
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1313-1313
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3623-3623	Antarctic area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3624-3624	Antarctic area is an instance of land area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3622-3622	Antarctica is a geographic subregion of antarctic area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7758-7758
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7757-7757
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7756-7756

antecedent

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

Geography.kif 3631-3640

If a physical is an instance of geographic area and the physical is located at antarctic area,
then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position

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