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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VocalCords

Sigma KEE - VocalCords
VocalCords(vocal cords)
false_vocal_cord, false_vocal_fold, inferior_vocal_cord, inferior_vocal_fold, plica_vocalis, superior_vocal_cord, true_vocal_cord, true_vocal_fold, ventricular_fold, vestibular_fold, vocal_band, vocal_cord, vocal_fold

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 786-789
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12192-12192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 793-793 Every vocal cords is initially part of a human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 785-785 Vocal cords is a subclass of organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 791-791 A vocal cords is typically a part of a human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 792-792 A human typically has a part vocal cords

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 804-804 Every vocal fold is initially part of a vocal cords
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65707-65707

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


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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6148-6154
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 795-802


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