TreeView Knowledge Base Browser - Face

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Face

Sigma KEE - Face

Face

appearance as argument number 1

(documentation Face EnglishLanguage "The part of the Head from forehead to chin and from ear to ear.")	Mid-level-ontology.kif 12883-12884
(externalImage Face "http://upload.wikimedia.org/wikipedia/commons/6/69/ Face_of_SpooSpa.jpg")	pictureList.kif 88-88
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 12881-12881	Face ist eine teilkategorie von AnimalAnatomicalStructure
(subclass Face BodyPart)	Mid-level-ontology.kif 12882-12882	Face ist eine teilkategorie von BodyPart

appearance as argument number 2

(termFormat ChineseLanguage Face "面对")	domainEnglishFormat.kif 23092-23092
(termFormat ChineseTraditionalLanguage Face "面對")	domainEnglishFormat.kif 23091-23091
(termFormat EnglishLanguage Face "face")	domainEnglishFormat.kif 23090-23090

antecedent

(=> (and (instance ?CHIN Chin) (instance ?FACE Face) (part ?CHIN ?FACE)) (forall (?PART) (=> (and (part ?PART ?FACE) (not (part ?PART ?CHIN))) (orientation ?PART ?CHIN Below))))	Mid-level-ontology.kif 12929-12940	Wenn Object ist ein fall von Chin %n{nicht} und Object ist ein fall von Face %n{nicht} und Object ist ein teil von Object %n{nicht}, dann fuer alle Object wenn Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object nicht, dann Object ist Below hinsichlich ** Object %n{nicht}
(=> (and (instance ?F Face) (part ?F ?P) (equal ?B (BackFn ?P))) (not (part ?F ?B)))	Mid-level-ontology.kif 12900-12907	Wenn Object ist ein fall von Face %n{nicht} und Object ist ein teil von SelfConnectedObject %n{nicht} und SelfConnectedObject ist gleich die rueckseite von SelfConnectedObject %n{nicht}, dann Object ist ein teil von SelfConnectedObject nicht
(=> (and (instance ?F Face) (part ?F ?P) (equal ?B (FrontFn ?P))) (part ?F ?B))	Mid-level-ontology.kif 12909-12915	Wenn Object ist ein fall von Face %n{nicht} und Object ist ein teil von SelfConnectedObject %n{nicht} und SelfConnectedObject ist gleich die frontseite von SelfConnectedObject %n{nicht}, dann Object ist ein teil von SelfConnectedObject %n{nicht}
(=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD))))	Mid-level-ontology.kif 12886-12891	Wenn Object ist ein fall von Face %n{nicht}, dann es gibt Object um Object ist ein fall von Head %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?FACE Face) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?FACE ?VERTEBRATE))))	Mid-level-ontology.kif 12893-12898	Wenn Object ist ein fall von Face %n{nicht}, dann es gibt Object um Object ist ein fall von Vertebrate %n{nicht} und Object ist ein teil von Object %n{nicht}

consequent

(=> (and (instance ?ELT ExperiencingHeatInCheeksOrChest) (experiencer ?ELT ?A)) (exists (?P ?T) (and (instance ?P Perception) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (or (instance ?T Torso) (instance ?T Face)) (part ?T ?A))))	emotion.kif 1738-1751	Wenn Process ist ein fall von ExperiencingHeatInCheeksOrChest %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Process und Object um Process ist ein fall von Perception %n{nicht} und Process ist ein subProzess von Process und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Torso %n{nicht} oder Object ist ein fall von Face %n{nicht} und Object ist ein teil von ** AutonomousAgent %n{nicht}
(=> (and (instance ?EXPRESS FacialExpression) (agent ?EXPRESS ?AGENT)) (exists (?FACE) (and (part ?FACE ?AGENT) (instance ?FACE Face) (instrument ?EXPRESS ?FACE))))	Mid-level-ontology.kif 13007-13015	Wenn Process ist ein fall von FacialExpression %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein teil von AutonomousAgent %n{nicht} und Object ist ein fall von Face %n{nicht} und Object ist ein instrument fuer Process %n{nicht}
(=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely))	Medicine.kif 698-715	Wenn Process ist ein fall von ViolentContest %n{nicht} und Object ist ein patient von Process %n{nicht} und InjuryCausedFn Process ist ein attribut von Object %n{nicht} und ImpairedBodyPartFn Airway ist ein attribut von Object %n{nicht}, dann die Aussage Process ist eine teilkategorie von Combustion oder es gibt entity um entity ist ein fall von Injuring %n{nicht} und entity befindet sich an %n{nicht} und entity ist ein fall von Face %n{nicht} und Object ist ein patient von entity %n{nicht} hat die modale Kraft von Likely
(=> (instance ?CHIN Chin) (exists (?FACE) (and (instance ?FACE Face) (part ?CHIN ?FACE))))	Mid-level-ontology.kif 12922-12927	Wenn Object ist ein fall von Chin %n{nicht}, dann es gibt Object um Object ist ein fall von Face %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?H FacialHair) (exists (?F) (and (instance ?F Face) (part ?H ?F))))	Mid-level-ontology.kif 11797-11802	Wenn Object ist ein fall von FacialHair %n{nicht}, dann es gibt Object um Object ist ein fall von Face %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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}
(=> (instance ?NOSE Nose) (exists (?FACE) (and (instance ?FACE Face) (part ?NOSE ?FACE))))	Mid-level-ontology.kif 12196-12201	Wenn Object ist ein fall von Nose %n{nicht}, dann es gibt Object um Object ist ein fall von Face %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?P Portrait) (exists (?F) (and (instance ?F Face) (represents ?P ?F))))	Mid-level-ontology.kif 3150-3155	Wenn Entity ist ein fall von Portrait %n{nicht}, dann es gibt Entity um Entity ist ein fall von Face %n{nicht} und Entity drueckt Entity aus
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (exists (?PERSON ?FACE ?EYE ?COVER) (and (instance ?PERSON Animal) (instance ?FACE Face) (instance ?EYE Eye) (properPart ?EYE ?FACE) (properPart ?FACE ?PERSON) (wears ?PERSON ?PE) (instance ?COVER Covering) (agent ?COVER ?PE) (patient ?COVER ?FACE)))))	Cars.kif 3519-3532	Wenn Physical ist ein fall von ProtectiveEyewear %n{nicht}, dann Physical hat Zweck von es gibt PhysicalRSON, entity,, , entity, and und entity um PhysicalRSON ist ein fall von Animal %n{nicht} und entity ist ein fall von Face %n{nicht} und entity ist ein fall von Eye %n{nicht} und entity ist ein korrektes teil von entity %n{nicht} und entity ist ein korrektes teil von PhysicalRSON %n{nicht} und wears PhysicalRSON and Physical und entity ist ein fall von Covering %n{nicht} und entity ist der agent von Physical %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?V Veil) (hasPurpose ?V (exists (?F ?H) (or (and (instance ?F Face) (meetsSpatially ?V ?F)) (and (instance ?H Hair) (meetsSpatially ?V ?H))))))	Mid-level-ontology.kif 5472-5482	Wenn Physical ist ein fall von Veil %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Face %n{nicht} und Physical schliesst entity raeumlich an oder entity ist ein fall von Hair %n{nicht} und Physical schliesst entity raeumlich an %n{nicht}

statement

(subclass FacialParalysis (ParalysisFn Face))	Medicine.kif 1854-1854	FacialParalysis ist eine teilkategorie von ParalysisFn Face
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 5100-5100	Mask ist eine teilkategorie von CoveringFn Face

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