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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElRipialApureVenezuela

Sigma KEE - ElRipialApureVenezuela
ElRipialApureVenezuela(el ripial apure venezuela)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1707-1707
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2827-2827 El ripial apure venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1706-1706 El ripial apure venezuela is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2828-2828 El ripial apure venezuela has name "El Ripial Apure"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21858-21858
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21857-21857
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21856-21856


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