Tooth - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Tooth EnglishLanguage "Part of the Mouth, used for biting and chewing.")	Mid-level-ontology.kif 12802-12802
(externalImage Tooth "http://upload.wikimedia.org/wikipedia/commons/d/d6/ ToothSection.jpg")	pictureList.kif 192-192
(subclass Tooth Bone)	Mid-level-ontology.kif 12801-12801	Tooth is a subclass of bone

appearance as argument number 2

(termFormat ChineseLanguage Tooth "齿")	domainEnglishFormat.kif 58444-58444
(termFormat ChineseTraditionalLanguage Tooth "齒")	domainEnglishFormat.kif 58443-58443
(termFormat EnglishLanguage Tooth "tooth")	domainEnglishFormat.kif 58442-58442

antecedent

(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))

Mid-level-ontology.kif 12804-12809

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

(=> (and (instance ?CHEW Chewing) (instrument ?CHEW ?TOOTH)) (instance ?TOOTH Tooth))	Mid-level-ontology.kif 12891-12895	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
(=> (attribute ?P Dentist) (exists (?D ?T) (and (instance ?D DiagnosticProcess) (agent ?D ?P) (instance ?T Tooth) (patient ?D ?T))))	Mid-level-ontology.kif 20450-20457	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
(=> (instance ?T Toothbrush) (hasPurpose ?T (exists (?K ?B ?TOOTH) (and (instance ?TOOTH Tooth) (instrument ?K ?T) (instance ?K Killing) (instance ?B Bacterium) (patient ?K ?B) (patient ?K ?TOOTH)))))	Mid-level-ontology.kif 2689-2699	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 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

KB Term:			Term intersection

English Word: