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

appearance as argument number 2

(termFormat ChineseLanguage Tooth "齿")	domainEnglishFormat.kif 58480-58480
(termFormat ChineseTraditionalLanguage Tooth "齒")	domainEnglishFormat.kif 58479-58479
(termFormat EnglishLanguage Tooth "tooth")	domainEnglishFormat.kif 58478-58478

antecedent

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

Mid-level-ontology.kif 11691-11696

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 11778-11782	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 19137-19144	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 2219-2229	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: