Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(termFormat EnglishLanguage Tooth "tooth") domainEnglishFormat.kif 58435-58435
(termFormat ChineseTraditionalLanguage Tooth "齒") domainEnglishFormat.kif 58436-58436
(termFormat ChineseLanguage Tooth "齿") domainEnglishFormat.kif 58437-58437

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


(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))		 Mid-level-ontology.kif 12973-12978 If X is an instance of tooth, then there exists Y such that Y is an instance of mouth and X is a part of Y

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


(=>
    (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 2825-2835 If X is an instance of toothbrush, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of tooth (3) X is an instrument for Y (4) Y is an instance of killing (5) Z is an instance of bacterium (6) Z is a patient of Y (7) W is a patient of Y
(=>
    (and
        (instance ?CHEW Chewing)
        (instrument ?CHEW ?TOOTH))
    (instance ?TOOTH Tooth))		 Mid-level-ontology.kif 13060-13064 If X is an instance of chewing and Y is an instrument for X, then Y 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 20816-20823 If dentist is an attribute of X, then there exist Y, Z such that Y is an instance of diagnostic process, X is an agent of Y, Z is an instance of tooth, and Z is a patient of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners