consequent

(=>     (and         (instance ?CHEW Chewing)         (instrument ?CHEW ?TOOTH))     (instance ?TOOTH Tooth))	Mid-level-ontology.kif 12885-12889	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 20439-20446	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 2689-2699	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