TreeView Knowledge Base Browser - OverseasAreaFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OverseasAreaFn

OverseasAreaFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 504-505
No TPTP formula. May not be expressible in strict first order.	Government.kif 501-501	The number 1 argument of overseas area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 500-500	Overseas area is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 502-502	The values returned by overseas area are subclasses of overseas area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1895-1895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1894-1894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1893-1893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43806-43806
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43805-43805
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43804-43804

antecedent

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

Government.kif 507-511

If a geopolitical area is an instance of nation and another geopolitical area is an instance of the overseas area of the geopolitical area,
then the other geopolitical area dependent area of type the geopolitical area for overseas area

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