Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ComplementFn |
| appearance as argument number 1 |
|
| (instance ComplementFn UnaryFunction) | Merge.kif 5595-5595 | Complement is an instance of unary function |
| (instance ComplementFn TotalValuedRelation) | Merge.kif 5596-5596 | Complement is an instance of total valued relation |
| (domain ComplementFn 1 SetOrClass) | Merge.kif 5597-5597 | The number 1 argument of complement is an instance of set or class |
| (range ComplementFn SetOrClass) | Merge.kif 5598-5598 | The range of complement is an instance of set or class |
| (documentation ComplementFn EnglishLanguage "The complement of a given SetOrClass C is the SetOrClass of all things that are not instances of C. In other words, an object is an instance of the complement of a SetOrClass C just in case it is not an instance of C.") | Merge.kif 5600-5603 | The range of complement is an instance of set or class |
| appearance as argument number 2 |
|
|
| statement |
|
|
|