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

Formal Language: 



KB Term:  Term intersection
English Word: 

  managedBy

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 612-614
(domain managedBy 1 Physical) Hotel.kif 618-618
(domain managedBy 2 Agent) Hotel.kif 619-619
(instance managedBy BinaryPredicate) Hotel.kif 610-610

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 616-616

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


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

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


(=>
    (brandIcon ?BRAND ?ICON)
    (exists (?AGENT)
        (and
            (managedBy ?BRAND ?AGENT)
            (managedBy ?ICON ?AGENT)
            (represents ?ICON ?BRAND))))
Hotel.kif 1271-1277
(=>
    (contestOrganizer ?CONTEST ?A)
    (managedBy ?CONTEST ?A))
Music.kif 1058-1060

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