Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  managedBy

 Sigma KEE - managedBy
managedBy

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


(instance managedBy BinaryPredicate) Hotel.kif 641-641 managed by is an instance of binary predicate
(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 managed by is an instance of binary predicate
(domain managedBy 1 Physical) Hotel.kif 649-649 The number 1 argument of managed by is an instance of physical
(domain managedBy 2 AutonomousAgent) Hotel.kif 650-650 The number 2 argument of managed by is an instance of agent

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


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

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


(=>
    (managedBy ?OBJ ?AGENT)
    (exists (?AGENT2 ?MAN)
        (and
            (possesses ?AGENT2 ?OBJ)
            (instance ?MAN Managing)
            (patient ?MAN ?OBJ)
            (agent ?MAN ?AGENT))))		 Hotel.kif 652-659 If X is managed by Y, then there exist Z, W such that Z possesses X, W is an instance of managing, X is a patient of W, and Y is an agent of W

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


(=>
    (brandIcon ?BRAND ?ICON)
    (exists (?AGENT)
        (and
            (managedBy ?BRAND ?AGENT)
            (managedBy ?ICON ?AGENT)
            (represents ?ICON ?BRAND))))		 Hotel.kif 1330-1336 If X is the icon of Y, then there exists Z such that Y is managed by Z, X is managed by Z, and X expresses Y
(=>
    (contestOrganizer ?CONTEST ?A)
    (managedBy ?CONTEST ?A))		 Music.kif 1068-1070 If X organizes Y, then Y is managed by X

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners