| 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 | |
| (instance ReceivingAnObjectFn UnaryFunction) | Media.kif 184-184 | Receiving an object fn is an instance of unary function |
| (rangeSubclass ReceivingAnObjectFn Getting) | Media.kif 185-185 | The values returned by receiving an object fn are subclasses of getting |
| (domainSubclass ReceivingAnObjectFn 1 Object) | Media.kif 186-186 | The number 1 argument of receiving an object fn is a subclass of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage ReceivingAnObjectFn "receiving a %1") | domainEnglishFormat.kif 4344-4344 | |
| (format ChineseTraditionalLanguage ReceivingAnObjectFn "receiving 一個 %1 ") | domainEnglishFormat.kif 4345-4345 | |
| (format ChineseLanguage ReceivingAnObjectFn "receiving 一个 %1 ") | domainEnglishFormat.kif 4346-4346 | |
| (termFormat EnglishLanguage ReceivingAnObjectFn "receiving an object fn") | domainEnglishFormat.kif 65393-65393 |
| antecedent |
|
|
| (=> (instance ?GET (ReceivingAnObjectFn ?OBJCLASS)) (exists (?OBJ) (and (instance ?OBJ ?OBJCLASS) (patient ?GET ?OBJ)))) |
Media.kif 188-193 | If X is an instance of receiving a Y, then there exists Z such that Z is an instance of Y and Z is a patient of X |
| (=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2)) |
Media.kif 195-200 | If equal X and receiving a Y, equal Z and receiving a W, and Y is a subclass of W, then X is a subclass of Z |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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