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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OverseasAreaFn

 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 域 海外地區, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Government.kif 500-500 例 海外地區 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Government.kif 502-502 範圍子類 海外地區 and 海外地區

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


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