TreeView Knowledge Base Browser - Tooth

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tooth

Tooth(tooth)

adult_tooth, anterior, baby_tooth, back_tooth, bicuspid, bucktooth, canine, canine_tooth, carnassial_tooth, chopper, cusp, cuspid, deciduous_tooth, dogtooth, eye_tooth, eyetooth, fang, front_tooth, grinder, incisor, malposed_tooth, milk_tooth, molar, pearly, permanent_tooth, posterior, premolar, primary_tooth, tooth, tusk, wisdom_tooth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11470-11470
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 192-192
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11469-11469	Tooth is a subclass of bone

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58436-58436
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58435-58435
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58434-58434

antecedent

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

Mid-level-ontology.kif 11472-11477

If an object is an instance of tooth,
then there exists another object such that the other object is an instance of mouth and the object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11559-11563	If a process is an instance of chewing and an object is an instrument for the process, then the object is an instance of tooth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18878-18885	If dentist is an attribute of an agent, then there exist a process and an entity such that the process is an instance of diagnostic process and the agent is an agent of the process and the entity is an instance of tooth and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2226-2236	If a physical is an instance of toothbrush, then the physical has the purpose there exist an entity, another entity and the physicalOOTH such that the physicalOOTH is an instance of tooth and the physical is an instrument for the entity and the entity is an instance of killing and the other entity is an instance of bacterium and the other entity is a patient of the entity and the physicalOOTH is a patient of the entity

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