TreeView Knowledge Base Browser - VocalCords

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ProducerPriceIndex

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 779-782
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 786-786	Every vocal cords is initially part of a human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 778-778	Vocal cords is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 784-784	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 785-785	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 797-797	Every vocal fold is initially part of a vocal cords
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65709-65709

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 802-815

If an object is an instance of vocal cords and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object,
then there exist another object and a third object such that the other object is an instance of vocal fold and the third object is an instance of vocal fold and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6142-6148	If a hole is an instance of glottis, then there exists an object such that the object is an instance of vocal cords and the object is equal to the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 788-795	If a process is an instance of vocalizing, then there exist an object and another object such that the object is an instance of vocal cords and the object is an instrument for the process and the object is a part of the other object and the other object is an instance of organism

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