| appearance as argument number 1 |
|
| (disjointRelation subAttribute successorAttribute) | Merge.kif 684-684 | subAttribute e successorAttribute sono disgiunti |
| (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 | Il numero 1 argomenti di subAttribute è un istanza di Attributo |
| (domain subAttribute 2 Attribute) | Merge.kif 683-683 | Il numero 2 argomenti di subAttribute è un istanza di Attributo |
| (instance subAttribute BinaryPredicate) | Merge.kif 680-680 | subAttribute è un' istanza di PredicatoBinario |
| (instance subAttribute PartialOrderingRelation) | Merge.kif 681-681 | subAttribute è un' istanza di RelazioneDiOrdineParziale |
| 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 55691-55691 | |
| (termFormat EnglishLanguage subAttribute "sub attribute") | domainEnglishFormat.kif 55690-55690 |
| antecedent |
|
|
| consequent |
|
|
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4557-4563 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4565-4571 | |
| (=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4408-4410 |
|
| 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