TreeView Knowledge Base Browser

appearance as argument number 1

(instance Dentist Profession)	Mid-level-ontology.kif 20812-20812	Dentist is an instance of profession
(documentation Dentist EnglishLanguage "The Profession of being a dentist, i.e. diagnosing and treating problems related to the teeth.")	Mid-level-ontology.kif 20813-20814	Dentist is an instance of profession
(externalImage Dentist "http://articulatesoftware.com/SUMOpictures/medical/ dental/ dentist_3.png")	pictureList.kif 386-386	Dentist is an instance of profession

appearance as argument number 2

(subAttribute Orthodontist Dentist)	Society.kif 176-176	Orthodontist is a subattribute of dentist
(termFormat EnglishLanguage Dentist "dentist")	domainEnglishFormat.kif 19074-19074	Orthodontist is a subattribute of dentist
(termFormat ChineseTraditionalLanguage Dentist "牙醫")	domainEnglishFormat.kif 19075-19075	Orthodontist is a subattribute of dentist
(termFormat ChineseLanguage Dentist "牙医")	domainEnglishFormat.kif 19076-19076	Orthodontist is a subattribute of dentist

antecedent

(=>
    (attribute ?P Dentist)
    (exists (?D ?T)
        (and
            (instance ?D DiagnosticProcess)
            (agent ?D ?P)
            (instance ?T Tooth)
            (patient ?D ?T))))

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

consequent

(=>
    (instance ?DP DentalPractice)
    (exists (?D)
        (and
            (instance ?DP Business)
            (attribute ?D Dentist)
            (employs ?DP ?D))))

If X is an instance of DentalPractice, then there exists Y such that X is an instance of business, dentist is an attribute of Y, and X employs Y