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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - managedBy
managedBy

appearance as argument number 1
-------------------------


(documentation managedBy EnglishLanguage "(managedBy ?OBJ ?AGENT) means that the agent Managing Object ?OBJ is ?AGENT. ?AGENT does not necessarily own ?OBJ.") Hotel.kif 639-641
(domain managedBy 1 Physical) Hotel.kif 645-645 managedBy の数値 1 引数は 物理instance では %n
(domain managedBy 2 AutonomousAgent) Hotel.kif 646-646 managedBy の数値 2 引数は AutonomousAgentinstance では %n
(instance managedBy BinaryPredicate) Hotel.kif 637-637 managedBy2進述語instance では %n

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


(format ChineseLanguage managedBy "%1 是由 %2 managed ") domainEnglishFormat.kif 3810-3810
(format ChineseTraditionalLanguage managedBy "%1 是由 %2 managed ") domainEnglishFormat.kif 3809-3809
(format EnglishLanguage managedBy "%1 is managed by %2") domainEnglishFormat.kif 3808-3808
(termFormat EnglishLanguage managedBy "managed by") Hotel.kif 643-643

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


(=>
    (managedBy ?OBJ ?AGENT)
    (exists (?AGENT2 ?MAN)
        (and
            (possesses ?AGENT2 ?OBJ)
            (instance ?MAN Managing)
            (patient ?MAN ?OBJ)
            (agent ?MAN ?AGENT))))
Hotel.kif 648-655

consequent
-------------------------


(=>
    (brandIcon ?BRAND ?ICON)
    (exists (?AGENT)
        (and
            (managedBy ?BRAND ?AGENT)
            (managedBy ?ICON ?AGENT)
            (represents ?ICON ?BRAND))))
Hotel.kif 1319-1325
(=>
    (contestOrganizer ?CONTEST ?A)
    (managedBy ?CONTEST ?A))
Music.kif 1066-1068