subAttribute |
appearance as argument number 1 |
(disjointRelation subAttribute successorAttribute) | Merge.kif 684-684 | |
(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 | |
(domain subAttribute 2 Attribute) | Merge.kif 683-683 | |
(instance subAttribute BinaryPredicate) | Merge.kif 680-680 | |
(instance subAttribute PartialOrderingRelation) | Merge.kif 681-681 |
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 |
(=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)))) |
Government.kif 4546-4554 | |
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization)) |
Government.kif 352-357 | |
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization)) |
Government.kif 345-350 | |
(=> (and (governmentType ?PLACE ?TYPE) (instance ?PLACE GeopoliticalArea) (subAttribute ?TYPE ParliamentaryGovernment)) (exists (?ORG) (and (instance ?ORG Parliament) (subOrganization ?ORG (GovernmentFn ?PLACE))))) |
Government.kif 256-264 | |
(=> (and (instance ?SENDER Nation) (instance ?RECEIVER Nation) (instance ?PERSON Human) (attribute ?PERSON ?ROLE) (subAttribute ?ROLE DiplomaticAgent) (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER)) (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER)) |
Government.kif 4585-4593 | |
(=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2566-2570 | |
(=> (and (subAttribute ?ATTR1 ?ATTR2) (instance ?ATTR2 ?CLASS)) (instance ?ATTR1 ?CLASS)) |
Merge.kif 696-700 | |
(=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (property ?OBJ ?ATTR1) (property ?OBJ ?ATTR2)))) |
Merge.kif 689-694 |
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 |