VocalCords - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VocalCords

VocalCords

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	initialPart VocalCords and Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 778-778	VocalCords e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 784-784	typicalPart VocalCords and Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 785-785	typicallyContainsPart VocalCords and Humano

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 797-797	initialPart VocalFold and VocalCords
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

Objeto e' uma instancia de VocalCords Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto
Objeto Objeto Objeto e' uma instancia de VocalFold Objeto e' uma instancia de VocalFold Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6142-6148	Buraco e' uma instancia de Glottis Objeto Objeto e' uma instancia de VocalCords Objeto e' igual a o dono do buraco Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 788-795	Processo e' uma instancia de Vocalizing Objeto Objeto Objeto e' uma instancia de VocalCords Objeto e' um instrumento para Processo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Organismo

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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