Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| immediateSubclass |
| appearance as argument number 1 |
|
| (instance immediateSubclass AsymmetricRelation) | Merge.kif 144-144 | immediate subclass is an instance of asymmetric relation |
| (instance immediateSubclass IntransitiveRelation) | Merge.kif 145-145 | immediate subclass is an instance of intransitive relation |
| (instance immediateSubclass BinaryPredicate) | Merge.kif 146-146 | immediate subclass is an instance of binary predicate |
| (domain immediateSubclass 1 Class) | Merge.kif 147-147 | The number 1 argument of immediate subclass is an instance of class |
| (domain immediateSubclass 2 Class) | Merge.kif 148-148 | The number 2 argument of immediate subclass is an instance of class |
| (documentation immediateSubclass EnglishLanguage "A Class ?CLASS1 is an immediateSubclass of another Class ?CLASS2 just in case ?CLASS1 is a subclass of ?CLASS2 and there is no other subclass of ?CLASS2 such that ?CLASS1 is also a subclass of it.") | Merge.kif 149-152 | The number 2 argument of immediate subclass is an instance of class |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage immediateSubclass "immediate subclass") | domainEnglishFormat.kif 29369-29369 | |
| (termFormat ChineseTraditionalLanguage immediateSubclass "直接子類") | domainEnglishFormat.kif 29370-29370 | |
| (termFormat ChineseLanguage immediateSubclass "直接子类") | domainEnglishFormat.kif 29371-29371 | |
| (format EnglishLanguage immediateSubclass "%1 is %n an immediate subclass of %2") | english_format.kif 308-308 |
| antecedent |
|
|
| (=> (immediateSubclass ?CLASS1 ?CLASS2) (not (exists (?CLASS3) (and (subclass ?CLASS3 ?CLASS2) (subclass ?CLASS1 ?CLASS3) (not (equal ?CLASS2 ?CLASS3)) (not (equal ?CLASS1 ?CLASS3)))))) |
Merge.kif 154-161 | If X is an immediate subclass of Y, then there doesn't exist Z such that Z is a subclass of Y, X is a subclass of Z, equal Y, Z, equal X, and Z |
|