TreeView Knowledge Base Browser

appearance as argument number 1

(connectedBodyPart Mouth Esophagus)	Mid-level-ontology.kif 12062-12062	connectedBodyPart Mouth and Esophagus
(connectedBodyPart Mouth Trachea)	Mid-level-ontology.kif 12089-12089	connectedBodyPart Mouth and Trachea
(documentation Mouth EnglishLanguage "Part of the Face, used for Ingesting Food and Vocalizing.")	Mid-level-ontology.kif 11422-11423
(externalImage Mouth "http://articulatesoftware.com/SUMOpictures/people/ bodypart/ mouth/ Mouth_2.png")	pictureList.kif 608-608
(externalImage Mouth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Mouth.jpg")	pictureList.kif 134-134
(subclass Mouth AnimalAnatomicalStructure)	Mid-level-ontology.kif 11420-11420	Mouth ist eine teilkategorie von AnimalAnatomicalStructure
(subclass Mouth BodyOrifice)	Mid-level-ontology.kif 12076-12076	Mouth ist eine teilkategorie von BodyOrifice
(subclass Mouth BodyPart)	Mid-level-ontology.kif 11421-11421	Mouth ist eine teilkategorie von BodyPart
(typicalPart Mouth GastroIntestinalTract)	Mid-level-ontology.kif 12056-12056	typicalPart Mouth and GastroIntestinalTract

appearance as argument number 2

(initialPart SalivaryGland Mouth)	Mid-level-ontology.kif 12309-12309	initialPart SalivaryGland and Mouth
(termFormat ChineseLanguage Mouth "口")	domainEnglishFormat.kif 39009-39009
(termFormat ChineseTraditionalLanguage Mouth "口")	domainEnglishFormat.kif 39008-39008
(termFormat EnglishLanguage Mouth "mouth")	domainEnglishFormat.kif 39007-39007
(typicalPart SalivaryGland Mouth)	Mid-level-ontology.kif 12308-12308	typicalPart SalivaryGland and Mouth

antecedent

(=>
    (instance ?MOUTH Mouth)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?MOUTH ?FACE))))

Mid-level-ontology.kif 11425-11430

Wenn Object ist ein fall von Mouth %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von Face %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht}

consequent

(=> (and (instance ?BITE Biting) (agent ?BITE ?ANIMAL)) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?MOUTH ?ANIMAL) (instrument ?BITE ?MOUTH))))	Mid-level-ontology.kif 6514-6522	Wenn Process ist ein fall von Biting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein fall von Mouth %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Object ist ein instrument fuer Process %n{nicht}
(=> (and (instance ?S Swallowing) (agent ?S ?H)) (exists (?M ?E ?ST ?O) (and (instance ?M Mouth) (instance ?E Esophagus) (instance ?ST Stomach) (objectTransferred ?S ?O) (origin ?S ?M) (destination ?S ?ST) (path ?S ?E))))	Mid-level-ontology.kif 6594-6606	Wenn Transfer ist ein fall von Swallowing %n{nicht} und Transfer ist der agent von AutonomousAgent %n{nicht}, dann es gibt Object, Object,, , TransferT, and und Object um Object ist ein fall von Mouth %n{nicht} und Object ist ein fall von Esophagus %n{nicht} und TransferT ist ein fall von Stomach %n{nicht} und objectTransferred Transfer and Object und Transfer beginnet an Object %n{nicht} und Transfer endet an TransferT %n{nicht} und Object ist der pfad entlang dem Transfer geschieht
(=> (and (instance ?SPIT Drooling) (experiencer ?SPIT ?ANIMAL)) (exists (?MOUTH ?S) (and (instance ?MOUTH Mouth) (objectTransferred ?SPIT ?S) (instance ?S Saliva) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH))))	Mid-level-ontology.kif 6566-6576	Wenn Transfer ist ein fall von Drooling %n{nicht} und AutonomousAgent erfaehrt Transfer %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Mouth %n{nicht} und objectTransferred Transfer and Object und Object ist ein fall von Saliva %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Transfer beginnet an Object %n{nicht}
(=> (and (instance ?SPIT Spitting) (agent ?SPIT ?ANIMAL)) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH))))	Mid-level-ontology.kif 6552-6560	Wenn Process ist ein fall von Spitting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein fall von Mouth %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Process beginnet an Object %n{nicht}
(=> (instance ?LIP Lip) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?LIP ?MOUTH))))	Mid-level-ontology.kif 11592-11597	Wenn Object ist ein fall von Lip %n{nicht}, dann es gibt Object um Object ist ein fall von Mouth %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?THROAT Throat) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (connected ?THROAT ?MOUTH))))	Mid-level-ontology.kif 11726-11731	Wenn Object ist ein fall von Throat %n{nicht}, dann es gibt Object um Object ist ein fall von Mouth %n{nicht} und Object wird an Object angeschlossen
(=> (instance ?TONGUE Tongue) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?TONGUE ?MOUTH))))	Mid-level-ontology.kif 11437-11442	Wenn Object ist ein fall von Tongue %n{nicht}, dann es gibt Object um Object ist ein fall von Mouth %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?TOOTH Tooth) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?TOOTH ?MOUTH))))	Mid-level-ontology.kif 11472-11477	Wenn Object ist ein fall von Tooth %n{nicht}, dann es gibt Object um Object ist ein fall von Mouth %n{nicht} und Object ist ein teil von Object %n{nicht}

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: