| appearance as argument number 1 |
|
| (instance domainSubclass TernaryPredicate) | Merge.kif 223-223 | domain subclass is an instance of ternary predicate |
| (domain domainSubclass 1 Relation) | Merge.kif 224-224 | The number 1 argument of domain subclass is an instance of relation |
| (domain domainSubclass 2 PositiveInteger) | Merge.kif 225-225 | The number 2 argument of domain subclass is an instance of positive integer |
| (domain domainSubclass 3 Class) | Merge.kif 226-226 | The number 3 argument of domain subclass is an instance of class |
| (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 | The number 3 argument of domain subclass is an instance of class |
| 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 | If X is a subrelation of Y and the number Z argument of Y is a subclass of W, then the number Z argument of X is a subclass of W |
| (=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 238-244 | If the number X argument of Y is a subclass of Z and the number X argument of Y is a subclass of W, then Z is a subclass of W or W is a subclass of Z |
| (=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 419-424 | If the number X argument of Y is a subclass of Z, the number X argument of W is a subclass of V, and Z is disjoint from V, then Y and W are disjoint |
| (=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 3042-3047 | If the number X argument of Y is a subclass of Z, Y is an instance of predicate, and Y @ROW, then V element of (@ROW) is a subclass of Z |
| consequent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (domainSubclass ?REL2 ?NUMBER ?CLASS1)) (domainSubclass ?REL1 ?NUMBER ?CLASS1)) |
Merge.kif 232-236 | If X is a subrelation of Y and the number Z argument of Y is a subclass of W, then the number Z argument of X is a subclass of W |
| appearance as argument number 0 |
|
|
|
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