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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CarmelIsrael

 Sigma KEE - CarmelIsrael
CarmelIsrael

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1597-1597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9923-9923
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10576-10576
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10577-10577
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10578-10578
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2705-2705 geographicSubregion CarmelIsrael and Israel
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1596-1596 CarmelIsrael e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2706-2706 CarmelIsrael se chama nome "Carmel"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13290-13290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13289-13289
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13288-13288


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