| appearance as argument number 1 |
|
| (disjointRelation subAttribute successorAttribute) | Merge.kif 677-677 | |
| (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 679-680 | |
| (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 675-675 | |
| (domain subAttribute 2 Attribute) | Merge.kif 676-676 | |
| (instance subAttribute BinaryPredicate) | Merge.kif 673-673 | |
| (instance subAttribute PartialOrderingRelation) | Merge.kif 674-674 |
| 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 55695-55695 | |
| (termFormat EnglishLanguage subAttribute "sub attribute") | domainEnglishFormat.kif 55694-55694 | |
| (termFormat de subAttribute "teilAttribut") | terms-de.txt 132-132 |
| 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 4543-4551 | |
| (=> (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 4582-4590 | |
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2563-2567 | |
| (=> (and (subAttribute ?ATTR1 ?ATTR2) (instance ?ATTR2 ?CLASS)) (instance ?ATTR1 ?CLASS)) |
Merge.kif 689-693 | |
| (=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (property ?OBJ ?ATTR1) (property ?OBJ ?ATTR2)))) |
Merge.kif 682-687 |
| consequent |
|
|
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4518-4524 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4526-4532 | |
| (=> (equal ?A2 (ProfessionalFn ?A1)) (subAttribute ?A2 ?A1)) |
Mid-level-ontology.kif 9448-9450 | |
| (=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4369-4371 |
| 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