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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KafrIdnaWestBank
KafrIdnaWestBank

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1859-1859
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3013-3013 geographicSubregion KafrIdnaWestBank and WestBank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1858-1858 KafrIdnaWestBank e' uma instancia de Cidade

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3014-3014 KafrIdnaWestBank se chama nome "Kafr Idna"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32011-32011
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32010-32010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32009-32009


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