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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 618-620
(domain managedBy 1 Physical) Hotel.kif 624-624 The number 1 argument of managed by is an instance of physical
(domain managedBy 2 Agent) Hotel.kif 625-625 The number 2 argument of managed by is an instance of agent
(instance managedBy BinaryPredicate) Hotel.kif 616-616 managed by is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage managedBy "%1 是由 %2 managed ") domainEnglishFormat.kif 3815-3815
(format ChineseTraditionalLanguage managedBy "%1 是由 %2 managed ") domainEnglishFormat.kif 3814-3814
(format EnglishLanguage managedBy "%1 is managed by %2") domainEnglishFormat.kif 3813-3813
(termFormat EnglishLanguage managedBy "managed by") Hotel.kif 622-622


    (managedBy ?OBJ ?AGENT)
    (exists (?AGENT2 ?MAN)
            (possesses ?AGENT2 ?OBJ)
            (instance ?MAN Managing)
            (patient ?MAN ?OBJ)
            (agent ?MAN ?AGENT))))
Hotel.kif 627-634


    (brandIcon ?BRAND ?ICON)
    (exists (?AGENT)
            (managedBy ?BRAND ?AGENT)
            (managedBy ?ICON ?AGENT)
            (represents ?ICON ?BRAND))))
Hotel.kif 1284-1290
    (contestOrganizer ?CONTEST ?A)
    (managedBy ?CONTEST ?A))
Music.kif 1058-1060