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 | O argumento numero 1 de ReceivingAnObjectFn e' uma sub-classe de Objeto |
(instance ReceivingAnObjectFn UnaryFunction) | Media.kif 184-184 | ReceivingAnObjectFn e' uma instancia de funcao Unaria |
(rangeSubclass ReceivingAnObjectFn Getting) | Media.kif 185-185 | Os valores retornados por ReceivingAnObjectFn sao as sub-classes de Obter |
appearance as argument number 2 |
(format ChineseLanguage ReceivingAnObjectFn "receiving 一个 %1 ") | domainEnglishFormat.kif 4342-4342 | |
(format ChineseTraditionalLanguage ReceivingAnObjectFn "receiving 一個 %1 ") | domainEnglishFormat.kif 4341-4341 | |
(format EnglishLanguage ReceivingAnObjectFn "receiving a %1") | domainEnglishFormat.kif 4340-4340 | |
(termFormat EnglishLanguage ReceivingAnObjectFn "receiving an object fn") | domainEnglishFormat.kif 65392-65392 |
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 |