TreeView Knowledge Base Browser - actedIn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - actedIn

actedIn

appearance as argument number 1

(documentation actedIn EnglishLanguage "(actedIn ?ACTOR ?O) means that the Human ?ACTOR was in the Process that produced the entity ?O")	Mid-level-ontology.kif 21006-21007
(domain actedIn 1 Human)	Mid-level-ontology.kif 21004-21004	Die Zahl 1 Argument von actedIn ist ein fall von Human %n{nicht}
(domain actedIn 2 ContentBearingPhysical)	Mid-level-ontology.kif 21005-21005	Die Zahl 2 Argument von actedIn ist ein fall von ContentBearingPhysical %n{nicht}
(instance actedIn BinaryPredicate)	Mid-level-ontology.kif 21003-21003	actedIn ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format EnglishLanguage actedIn "%1 &actedIn %2.")	Mid-level-ontology.kif 21008-21008
(termFormat EnglishLanguage actedIn "acted in")	domainEnglishFormat.kif 65818-65818

antecedent

(=> (actedIn ?ACTOR ?O) (exists (?PERF) (and (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O))))	Mid-level-ontology.kif 21010-21016	Wenn actedIn Human and ContentBearingPhysical, dann es gibt Process um Process ist ein fall von DramaticActing %n{nicht} und Human ist ein patient von Process %n{nicht} und ContentBearingPhysical ist ein resultat von ** Process %n{nicht}
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 21018-21025	Wenn actedIn Human and ContentBearingPhysical und Process ist ein fall von DramaticActing %n{nicht} und Human ist ein patient von Process %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht}, dann Actor ist ein attribut von Human %n{nicht} haelt waehrend die zeit des Bestehens von Process %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