| appearance as argument number 1 |
|
| (documentation subrelation ChineseLanguage "(subrelation ?REL1 ?REL2)的意思是 ？REL1的每个元组也是？REL2的元组。 也就是说，如果 ？REL1的一些参数 arg_1，arg_2，... arg_n 的＆％Relation成立的话，那么？REL2的相同参数的 ＆％Relation也同样成立。 因此， 一个＆％Relation和它 的subrelation必须拥有相同的valence。") | Merge.kif 195-198 | |
| (documentation subrelation EnglishLanguage "(subrelation ?REL1 ?REL2) means that every tuple of ?REL1 is also a tuple of ?REL2. In other words, if the Relation ?REL1 holds for some arguments arg_1, arg_2, ... arg_n, then the Relation ?REL2 holds for the same arguments. A consequence of this is that a Relation and its subrelations must have the same valence.") | Merge.kif 189-194 | |
| (domain subrelation 1 Relation) | Merge.kif 187-187 | |
| (domain subrelation 2 Relation) | Merge.kif 188-188 | |
| (instance subrelation BinaryPredicate) | Merge.kif 185-185 | |
| (instance subrelation PartialOrderingRelation) | Merge.kif 186-186 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subrelation "%1 %n 是 %2 的 subrelation") | chinese_format.kif 321-321 | |
| (format EnglishLanguage subrelation "%1 is %n a subrelation of %2") | english_format.kif 193-193 | |
| (format FrenchLanguage subrelation "%1 est %n une sous-relation de %2") | french_format.kif 183-183 | |
| (format ItalianLanguage subrelation "%1 � %n una sottorelazione di %2") | relations-it.txt 279-279 | |
| (format PortugueseLanguage subrelation "%1 e' %n uma sub-relacao de %2") | portuguese_format.kif 135-135 | |
| (format ar subrelation "%1 هو %n عَلاقَة فَرْعِيَّة مِن %2") | arabic_format.kif 128-128 | |
| (format cz subrelation "%1 %p{je} %n{nen�} a subrelation of %2") | relations-cz.txt 176-176 | |
| (format de subrelation "%1 ist eine teilrelation von %2") | relations-de.txt 422-422 | |
| (format hi subrelation "%1 %2 kaa upasambandha %n hai") | relations-hindi.txt 316-316 | |
| (format tg subrelation "%1 %n ay ang kaugnayan mas tiyak ng %2") | relations-tg.txt 471-471 | |
| (termFormat ChineseLanguage subrelation "子关系") | chinese_format.kif 322-322 | |
| (termFormat EnglishLanguage subrelation "subrelation") | domainEnglishFormat.kif 9722-9722 | |
| (termFormat ar subrelation "«عَلاقَة فَرْعِيَّة مِن»") | arabic_format.kif 578-578 |
| antecedent |
|
|
| (<=> (subrelation ?PRED involvedInEvent) (instance ?PRED CaseRole)) |
Media.kif 119-121 | |
| (=> (and (instance ?ATT1 Attribute) (instance ?ATT2 Attribute) (subrelation ?PRED attribute)) (not (and (contraryAttributeWRT ?ATT1 ?ATT2 ?PRED) (?PRED ?ENTITY ?ATT1) (?PRED ?ENTITY ?ATT2)))) |
ComputerInput.kif 42-51 | |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT)) |
Mid-level-ontology.kif 21119-21123 | |
| (=> (and (subrelation ?PRED1 ?PRED2) (domain ?PRED2 ?NUMBER ?CLASS1)) (domain ?PRED1 ?NUMBER ?CLASS1)) |
Merge.kif 207-211 | |
| (=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS)) |
Merge.kif 221-226 | |
| (=> (and (subrelation ?PRED1 ?PRED2) (valence ?PRED1 ?NUMBER)) (valence ?PRED2 ?NUMBER)) |
Merge.kif 201-205 | |
| (=> (and (subrelation ?REL1 ?REL2) (domainSubclass ?REL2 ?NUMBER ?CLASS1)) (domainSubclass ?REL1 ?NUMBER ?CLASS1)) |
Merge.kif 269-273 | |
| (=> (and (subrelation ?REL1 ?REL2) (instance ?REL1 Predicate) (instance ?REL2 Predicate) (?REL1 @ROW)) (?REL2 @ROW)) |
Merge.kif 213-219 | |
| (=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1)) |
Merge.kif 354-358 | |
| (=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 383-387 |
| consequent |
|
|
| (=> (instance ?R CaseRole) (subrelation ?R involvedInEvent)) |
Merge.kif 2558-2560 |
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners