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 639-641
(domain managedBy 1 Physical) Hotel.kif 645-645
(domain managedBy 2 AutonomousAgent) Hotel.kif 646-646
(instance managedBy BinaryPredicate) Hotel.kif 637-637

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


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


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

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