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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tendon

 Sigma KEE - Tendon
Tendon(肌腱)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9474-9474
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4835-4835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9473-9473 子類 肌腱 and 動物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9472-9472 子類 肌腱 and Tissue

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57490-57490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57489-57489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57488-57488

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


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


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