| appearance as argument number 1 |
|
| s__documentation(s__subrelation__m,s__ChineseLanguage,'(subrelation ?REL1 ?REL2)的意思是 ？REL1的每个元组也是？REL2的元组。 也就是说，如果 ？REL1的一些参数 arg_1，arg_2，... arg_n 的＆％Relation成立的话，那么？REL2的相同参数的 ＆％Relation也同样成立。 因此， 一个＆％Relation和它 的subrelation必须拥有相同的&%valence。') | Merge.kif 195-198 | |
| s__documentation(s__subrelation__m,s__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 | |
| s__domain(s__subrelation__m,1,s__Relation)
|
Merge.kif 187-187 | |
| s__domain(s__subrelation__m,2,s__Relation)
|
Merge.kif 188-188 | |
| s__instance(s__BinaryPredicate,s__SetOrClass)
|
Merge.kif 185-185 | |
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 186-186 |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__subrelation__m,'%1 %n 是 %2 的 subrelation') | chinese_format.kif 321-321 | |
| s__format(s__EnglishLanguage,s__subrelation__m,'%1 is %n a subrelation of %2')
|
english_format.kif 193-193 | |
| s__format(s__FrenchLanguage,s__subrelation__m,'%1 est %n une sous-relation de %2')
|
french_format.kif 183-183 | |
| s__format(s__ItalianLanguage,s__subrelation__m,'%1 � %n una sottorelazione di %2')
|
relations-it.txt 279-279 | |
| s__format(s__PortugueseLanguage,s__subrelation__m,'%1 e %n uma sub-relacao de %2')
|
portuguese_format.kif 135-135 | |
| s__format(s__ar__m,s__subrelation__m,'%1 هو %n عَلاقَة فَرْعِيَّة مِن %2')
|
arabic_format.kif 128-128 | |
| s__format(s__cz__m,s__subrelation__m,'%1 %p{je} %n{nen�} a subrelation of %2')
|
relations-cz.txt 176-176 | |
| s__format(s__de__m,s__subrelation__m,'%1 ist eine teilrelation von %2')
|
relations-de.txt 422-422 | |
| s__format(s__hi__m,s__subrelation__m,'%1 %2 kaa upasambandha %n hai')
|
relations-hindi.txt 316-316 | |
| s__format(s__tg__m,s__subrelation__m,'%1 %n ay ang kaugnayan mas tiyak ng %2')
|
relations-tg.txt 471-471 | |
| s__termFormat(s__ChineseLanguage,s__subrelation__m,'子关系')
|
chinese_format.kif 322-322 | |
| s__termFormat(s__EnglishLanguage,s__subrelation__m,'subrelation')
|
domainEnglishFormat.kif 9722-9722 | |
| s__termFormat(s__ar__m,s__subrelation__m,'«عَلاقَة فَرْعِيَّة مِن»')
|
arabic_format.kif 578-578 |
| antecedent |
|
|
| ( ! [V__PRED] : (s__subrelation(V__PRED,s__involvedInEvent__m) <=> s__instance(V__PRED,s__CaseRole)) )
|
Media.kif 119-121 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 42-51 | |
| ( ! [V__OBJ,V__ROLE,V__EVENT,V__ROLE2] : ((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT) & s__subrelation(V__ROLE,V__ROLE2)) => s__playsRoleInEvent(V__OBJ,V__ROLE2,V__EVENT)) )
|
Mid-level-ontology.kif 21119-21123 | |
| ( ! [V__PRED1,V__PRED2,V__NUMBER,V__CLASS1] : ((s__subrelation(V__PRED1,V__PRED2) & s__domain(V__PRED2,V__NUMBER,V__CLASS1)) => s__domain(V__PRED1,V__NUMBER,V__CLASS1)) )
|
Merge.kif 207-211 | |
| ( ! [V__PRED1,V__PRED2,V__CLASS] : ((s__subrelation(V__PRED1,V__PRED2) & s__instance(V__PRED2,V__CLASS) & s__subclass(V__CLASS,s__InheritableRelation)) => s__instance(V__PRED1,V__CLASS)) )
|
Merge.kif 221-226 | |
| ( ! [V__PRED1,V__PRED2,V__NUMBER] : ((s__subrelation(V__PRED1,V__PRED2) & s__valence(V__PRED1,V__NUMBER)) => s__valence(V__PRED2,V__NUMBER)) )
|
Merge.kif 201-205 | |
| ( ! [V__REL1,V__REL2,V__NUMBER,V__CLASS1] : ((s__subrelation(V__REL1,V__REL2) & s__domainSubclass(V__REL2,V__NUMBER,V__CLASS1)) => s__domainSubclass(V__REL1,V__NUMBER,V__CLASS1)) )
|
Merge.kif 269-273 | |
| ( ! [V__ROW1] : ((s__subrelation(s__contraryAttribute__m,s__contraryAttribute__m) & s__instance(s__contraryAttribute__m,s__Predicate) & s__instance(s__contraryAttribute__m,s__Predicate) & s__contraryAttribute_1(V__ROW1)) => s__contraryAttribute_1(V__ROW1)) )
|
Merge.kif 213-219 | |
| ( ! [V__REL1,V__REL2,V__CLASS1] : ((s__subrelation(V__REL1,V__REL2) & s__range(V__REL2,V__CLASS1)) => s__range(V__REL1,V__CLASS1)) )
|
Merge.kif 354-358 | |
| ( ! [V__REL1,V__REL2,V__CLASS1] : ((s__subrelation(V__REL1,V__REL2) & s__rangeSubclass(V__REL2,V__CLASS1)) => s__rangeSubclass(V__REL1,V__CLASS1)) )
|
Merge.kif 383-387 |
| consequent |
|
|
| ( ! [V__R] : (s__instance(V__R,s__CaseRole) => s__subrelation(V__R,s__involvedInEvent__m)) )
|
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