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 12367-12367
(externalImage Tooth "http://upload.wikimedia.org/wikipedia/commons/d/d6/ ToothSection.jpg")	pictureList.kif 192-192
(subclass Tooth Bone)	Mid-level-ontology.kif 12366-12366	Tooth is a subclass of bone

appearance as argument number 2

(termFormat ChineseLanguage Tooth "齿")	domainEnglishFormat.kif 58473-58473
(termFormat ChineseTraditionalLanguage Tooth "齒")	domainEnglishFormat.kif 58472-58472
(termFormat EnglishLanguage Tooth "tooth")	domainEnglishFormat.kif 58471-58471

antecedent

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

Mid-level-ontology.kif 12369-12374

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 12456-12460	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 19968-19975	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 2292-2302	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: