Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  actedIn

 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 20775-20776
(domain actedIn 1 Human) Mid-level-ontology.kif 20773-20773 actedIn の数値 1 引数は 人［人間］ の instance では %n
(domain actedIn 2 ContentBearingPhysical) Mid-level-ontology.kif 20774-20774 actedIn の数値 2 引数は ContentBearingPhysical の instance では %n
(instance actedIn BinaryPredicate) Mid-level-ontology.kif 20772-20772 actedIn は 2進述語 の instance では %n

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (actedIn ?ACTOR ?O)
    (exists (?PERF)
        (and
            (instance ?PERF DramaticActing)
            (patient ?PERF ?ACTOR)
            (result ?PERF ?O))))		 Mid-level-ontology.kif 20779-20785
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))		 Mid-level-ontology.kif 20787-20794


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