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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeltoidMuscle

 Sigma KEE - Resigning
Resigning

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16958-16958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16957-16957 Resigning est une sous-classe de renvoyer

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16966-16966 Retiring est une sous-classe de Resigning
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49678-49678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49677-49677
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49676-49676

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16960-16964


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