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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReceivingAnObjectFn

Sigma KEE - ReceivingAnObjectFn
ReceivingAnObjectFn

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


(documentation ReceivingAnObjectFn EnglishLanguage "(ReceivingAnObjectFn ?CLASS) denotes a subclass of Getting, all instances of which have some instance of ?CLASS as the object received (patient).") Media.kif 179-182
(domainSubclass ReceivingAnObjectFn 1 Object) Media.kif 186-186 The number 1 argument of ReceivingAnObjectFn is a subclass of object
(instance ReceivingAnObjectFn UnaryFunction) Media.kif 184-184 ReceivingAnObjectFn is an instance of unary function
(rangeSubclass ReceivingAnObjectFn Getting) Media.kif 185-185 The values returned by ReceivingAnObjectFn are subclasses of getting

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


(format EnglishLanguage ReceivingAnObjectFn "receiving a %1") domainEnglishFormat.kif 1096-1096

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


(=>
    (and
        (equal ?CLASS1
            (ReceivingAnObjectFn ?OBJCLASS1))
        (equal ?CLASS2
            (ReceivingAnObjectFn ?OBJCLASS2))
        (subclass ?OBJCLASS1 ?OBJCLASS2))
    (subclass ?CLASS1 ?CLASS2))
Media.kif 195-200
(=>
    (instance ?GET
        (ReceivingAnObjectFn ?OBJCLASS))
    (exists (?OBJ)
        (and
            (instance ?OBJ ?OBJCLASS)
            (patient ?GET ?OBJ))))
Media.kif 188-193


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners