subAttribute |
appearance as argument number 1 |
(disjointRelation subAttribute successorAttribute) | Merge.kif 684-684 | 子属性 和 后续属性 是 disjoint 关系 |
(documentation subAttribute ChineseLanguage "这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。") | chinese_format.kif 1534-1535 | |
(documentation subAttribute EnglishLanguage "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.") | Merge.kif 686-687 | |
(documentation subAttribute JapaneseLanguage "2番目の引数が、最初の引数が割り当てられているす べてのものに割り当てられる、という意味である。") | japanese_format.kif 100-101 | |
(documentation subAttribute SpanishLanguage "Quiere decir que el segundo argumento puede ser atribuido a todo lo que se han sido atribuido al primer argumento.") | spanish_format.kif 117-118 | |
(domain subAttribute 1 Attribute) | Merge.kif 682-682 | 子属性 的 1 数量 是 属性 的 instance |
(domain subAttribute 2 Attribute) | Merge.kif 683-683 | 子属性 的 2 数量 是 属性 的 instance |
(instance subAttribute BinaryPredicate) | Merge.kif 680-680 | 子属性 是 二元谓语 的 instance |
(instance subAttribute PartialOrderingRelation) | Merge.kif 681-681 | 子属性 是 偏序关系 的 instance |
appearance as argument number 2 |
(format ChineseLanguage subAttribute "%1 %n 是 %2 的 subAttribute") | chinese_format.kif 317-317 | |
(format EnglishLanguage subAttribute "%1 is %n a subattribute of %2") | english_format.kif 322-322 | |
(format FrenchLanguage subAttribute "%1 est %n un sous-attribut de %2") | french_format.kif 181-181 | |
(format ItalianLanguage subAttribute "%1 è %n un sottoattributo di %2") | relations-it.txt 270-270 | |
(format JapaneseLanguage subAttribute "%1 は %2 の subattribute では %n") | japanese_format.kif 2001-2001 | |
(format PortugueseLanguage subAttribute "%1 e' %n um sub-atributo de %2") | portuguese_format.kif 133-133 | |
(format cz subAttribute "%1 %p{je} %n{nen�} a subattribute of %2") | relations-cz.txt 194-194 | |
(format de subAttribute "%1 ist ein teilattribut von %2") | relations-de.txt 416-416 | |
(format hi subAttribute "%1 %2 kii gauNa visheshhataa %n hai") | relations-hindi.txt 307-307 | |
(format ro subAttribute "%1 %n{nu} este un subattribute%t{subatribut} al lui %2") | relations-ro.kif 201-201 | |
(format sv subAttribute "%1 är %n{inte} ett underattribut till %2") | relations-sv.txt 191-191 | |
(format tg subAttribute "%1 %n ay ang katangian mas tiyak ng %2") | relations-tg.txt 462-462 | |
(termFormat ChineseLanguage subAttribute "子属性") | chinese_format.kif 318-318 | |
(termFormat ChineseTraditionalLanguage subAttribute "子屬性") | domainEnglishFormat.kif 55693-55693 | |
(termFormat EnglishLanguage subAttribute "sub attribute") | domainEnglishFormat.kif 55692-55692 |
antecedent |
consequent |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4521-4527 | |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4529-4535 | |
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4372-4374 |
appearance as argument number 0 |