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 643-645
(domain managedBy 1 Physical) Hotel.kif 649-649
(domain managedBy 2 AutonomousAgent) Hotel.kif 650-650
(instance managedBy BinaryPredicate) Hotel.kif 641-641

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


(format ChineseLanguage managedBy "%1 是由 %2 managed ") domainEnglishFormat.kif 3808-3808
(format ChineseTraditionalLanguage managedBy "%1 是由 %2 managed ") domainEnglishFormat.kif 3807-3807
(format EnglishLanguage managedBy "%1 is managed by %2") domainEnglishFormat.kif 3806-3806
(termFormat EnglishLanguage managedBy "managed by") Hotel.kif 647-647

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


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

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


(=>
    (brandIcon ?BRAND ?ICON)
    (exists (?AGENT)
        (and
            (managedBy ?BRAND ?AGENT)
            (managedBy ?ICON ?AGENT)
            (represents ?ICON ?BRAND))))		 Hotel.kif 1330-1336
(=>
    (contestOrganizer ?CONTEST ?A)
    (managedBy ?CONTEST ?A))		 Music.kif 1068-1070

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