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	O argumento numero 1 de OverseasAreaFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 500-500	OverseasAreaFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Government.kif 502-502	Os valores retornados por OverseasAreaFn sao as sub-classes de OverseasArea

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

Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de OverseasAreaFn Area Geopolitica
dependentAreaOfType Area Geopolitica, Area Geopolitica and OverseasArea

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