Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| domainSubclass |
| appearance as argument number 1 |
|
| (instance domainSubclass TernaryPredicate) | Merge.kif 223-223 | |
| (domain domainSubclass 1 Relation) | Merge.kif 224-224 | |
| (domain domainSubclass 2 PositiveInteger) | Merge.kif 225-225 | |
| (domain domainSubclass 3 Class) | Merge.kif 226-226 | |
| (documentation domainSubclass EnglishLanguage "A Predicate that is used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.") | Merge.kif 227-230 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage domainSubclass "domain subclass") | domainEnglishFormat.kif 20118-20118 | |
| (termFormat ChineseTraditionalLanguage domainSubclass "域子類") | domainEnglishFormat.kif 20119-20119 | |
| (termFormat ChineseLanguage domainSubclass "域子类") | domainEnglishFormat.kif 20120-20120 | |
| (format EnglishLanguage domainSubclass "the number %2 argument of %1 is %n a subclass of %3") | english_format.kif 298-298 |
| antecedent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (domainSubclass ?REL2 ?NUMBER ?CLASS1)) (domainSubclass ?REL1 ?NUMBER ?CLASS1)) |
Merge.kif 232-236 | |
| (=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 238-244 | |
| (=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 418-423 | |
| (=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 3116-3121 |
| consequent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (domainSubclass ?REL2 ?NUMBER ?CLASS1)) (domainSubclass ?REL1 ?NUMBER ?CLASS1)) |
Merge.kif 232-236 |
| appearance as argument number 0 |
|
|
|