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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MawdiyahYemen
MawdiyahYemen(mawdiyah yemen)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2033-2033
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3208-3208 Mawdiyah yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2032-2032 Mawdiyah yemen is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3209-3209 Mawdiyah yemen has name "Mawdiyah"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36581-36581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36580-36580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36579-36579


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