Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| meceCollection |
| appearance as argument number 1 |
|
| (instance meceCollection BinaryPredicate) | UXExperimentalTerms.kif 4604-4604 | mutually exclusive completely exhaustive is an instance of binary predicate |
| (domain meceCollection 1 Collection) | UXExperimentalTerms.kif 4606-4606 | The number 1 argument of mutually exclusive completely exhaustive is an instance of collection |
| (domain meceCollection 2 Collection) | UXExperimentalTerms.kif 4608-4608 | The number 2 argument of mutually exclusive completely exhaustive is an instance of collection |
| (documentation meceCollection EnglishLanguage "(meceCollection ?COLL1 ?COLL2) means that every member of ?COLL1 is in a Collection which is a member of Coll2, but not a member of two different Collections which are members of ?COLL2.") | UXExperimentalTerms.kif 4612-4614 | The number 2 argument of mutually exclusive completely exhaustive is an instance of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage meceCollection "mutually exclusive completely exhaustive") | UXExperimentalTerms.kif 4610-4610 | |
| (format EnglishLanguage meceCollection "%1 and %2 are mutually exclusive") | domainEnglishFormat.kif 3846-3846 | |
| (format ChineseTraditionalLanguage meceCollection "%1 和 %2 是 mutually exclusive ") | domainEnglishFormat.kif 3847-3847 | |
| (format ChineseLanguage meceCollection "%1 和 %2 是 mutually exclusive ") | domainEnglishFormat.kif 3848-3848 |
| antecedent |
|
|
| (=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER CollectionOfObjects)) |
UXExperimentalTerms.kif 4616-4621 | If X and Y are mutually exclusive, Z is a member of Y, and Z is an instance of self connected object, then Z is an instance of collection |
| (=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 CollectionOfObjects) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2)))) |
UXExperimentalTerms.kif 4623-4632 | If X and Y are mutually exclusive, Z is a member of X, and Z is an instance of self connected object, then there exists W such that W is an instance of collection, Z is a member of W, and W is a member of Y |
| (=> (and (meceCollection ?COLL1 ?COLL2) (instance ?COLL3 CollectionOfObjects) (instance ?COLL4 CollectionOfObjects) (instance ?MEMBER SelfConnectedObject) (member ?MEMBER ?COLL1) (member ?COLL3 ?COLL2) (member ?COLL4 ?COLL2) (not (equal ?COLL3 ?COLL4))) (not (and (member ?MEMBER ?COLL3) (member ?MEMBER ?COLL4)))) |
UXExperimentalTerms.kif 4634-4648 | If All of the following hold: (1) X and Y are mutually exclusive (2) Z is an instance of collection (3) W is an instance of collection (4) V is an instance of self connected object (5) V is a member of X (6) Z is a member of Y (7) W is a member of Y (8) equal Z and W, then ~{ V is a member of Z } or ~{ V is a member of W } |
|