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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TripoliLibya

 Sigma KEE - TripoliLibya
TripoliLibya(tripoli libya)
Tarabulus, Tarabulus_Al-Gharb, Tarabulus_Ash-Sham, Trablous, Tripoli, capital_of_Libya

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2398-2398
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1392-1392
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3614-3614 Tripoli libya is a geographic subregion of libya
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2397-2397 Tripoli libya is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3615-3615 Tripoli libya has name "Tripoli"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59228-59228
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59227-59227
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59226-59226


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