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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PituitaryGland
  FusagasusaColombia

Sigma KEE - FusagasusaColombia
FusagasusaColombia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1727-1727
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5620-5620
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2853-2853 geographicSubregion FusagasusaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1726-1726 FusagasusaColombia est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2854-2854 FusagasusaColombia s'appele nom "Fusagasusa"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25298-25298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25297-25297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25296-25296


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