Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tooth

Sigma KEE - Tooth
Tooth(tooth)
adult_tooth, anterior, baby_tooth, back_tooth, bicuspid, bucktooth, canine, canine_tooth, cusp, cuspid, deciduous_tooth, dogtooth, eye_tooth, eyetooth, fang, front_tooth, grinder, incisor, malposed_tooth, milk_tooth, molar, permanent_tooth, posterior, premolar, primary_tooth, tooth, tusk, wisdom_tooth

appearance as argument number 1
-------------------------


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

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


(termFormat ChineseLanguage Tooth "齿") domainEnglishFormat.kif 58317-58317
(termFormat ChineseTraditionalLanguage Tooth "齒") domainEnglishFormat.kif 58316-58316
(termFormat EnglishLanguage Tooth "tooth") domainEnglishFormat.kif 58315-58315

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


(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 9737-9742

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


(=>
    (and
        (instance ?CHEW Chewing)
        (instrument ?CHEW ?TOOTH))
    (instance ?TOOTH Tooth))
Mid-level-ontology.kif 9805-9809
(=>
    (attribute ?P Dentist)
    (exists (?D ?T)
        (and
            (instance ?D DiagnosticProcess)
            (agent ?D ?P)
            (instance ?T Tooth)
            (patient ?D ?T))))
Mid-level-ontology.kif 16659-16666
(=>
    (instance ?T Toothbrush)
    (hasPurpose ?T
        (exists (?K)
            (and
                (instance ?TOOTH Tooth)
                (instrument ?K ?T)
                (instance ?K Killing)
                (instance ?B Bacterium)
                (patient ?K ?B)
                (patient ?K ?TOOTH)))))
Mid-level-ontology.kif 2687-2697


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners