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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InferiorObliqueMuscle

 Sigma KEE - FrancZone
FrancZone

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3272-3272 dateEstablished FrancZone and o ano 1964
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6039-6039
No TPTP formula. May not be expressible in strict first order. Government.kif 3268-3268 FrancZone e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3273-3273 organizationalObjective FrancZone and MonetaryUnion

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3271-3271 abbreviation "FZ" and FrancZone
No TPTP formula. May not be expressible in strict first order. Government.kif 3269-3269 conventionalLongName "Franc Zone" and FrancZone
No TPTP formula. May not be expressible in strict first order. Government.kif 3270-3270 localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" and FrancZone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24884-24884
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24883-24883
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24882-24882


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