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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KfarYamGazaStrip

Sigma KEE - KfarYamGazaStrip
KfarYamGazaStrip

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1893-1893
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3053-3053 geographicSubregion KfarYamGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1892-1892 KfarYamGazaStrip e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3054-3054 KfarYamGazaStrip se chama nome "Kfar Yam"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32401-32401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32400-32400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32399-32399


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