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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dentist

Sigma KEE - Dentist
Dentist
dental_practice, dental_practitioner, dentist, prosthodontist, tooth_doctor

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


(documentation Dentist EnglishLanguage "The Profession of being a dentist, i.e. diagnosing and treating problems related to the teeth.") Mid-level-ontology.kif 16485-16486
(externalImage Dentist "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ medical/ dental/ dentist_3.png") pictureList.kif 386-386
(instance Dentist Profession) Mid-level-ontology.kif 16484-16484

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


(subclass Orthodontist Dentist) Society.kif 176-176
(termFormat EnglishLanguage Dentist "dentist") domainEnglishFormat.kif 3600-3600

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


(=>
    (attribute ?P Dentist)
    (exists (?D ?T)
        (and
            (instance ?D DiagnosticProcess)
            (agent ?D ?P)
            (instance ?T Tooth)
            (patient ?D ?T))))
Mid-level-ontology.kif 16488-16495

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


(=>
    (instance ?DP DentalPractice)
    (exists (?D)
        (and
            (instance ?DP Business)
            (attribute ?D Dentist)
            (employs ?DP ?D))))
Society.kif 181-187


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