| appearance as argument number 1 |
|
| (disjointRelation subAttribute successorAttribute) | Merge.kif 655-655 | |
| (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 657-658 | |
| (domain subAttribute 1 Attribute) | Merge.kif 653-653 | |
| (domain subAttribute 2 Attribute) | Merge.kif 654-654 | |
| (instance subAttribute BinaryPredicate) | Merge.kif 651-651 | |
| (instance subAttribute PartialOrderingRelation) | Merge.kif 652-652 |
| 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 325-325 | |
| (termFormat ChineseLanguage subAttribute "子属性") | chinese_format.kif 318-318 | |
| (termFormat ChineseTraditionalLanguage subAttribute "子屬性") | domainEnglishFormat.kif 55605-55605 | |
| (termFormat EnglishLanguage subAttribute "sub attribute") | domainEnglishFormat.kif 55604-55604 |
| 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 4513-4521 | |
| (=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization)) |
Government.kif 340-345 | |
| (=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization)) |
Government.kif 333-338 | |
| (=> (and (governmentType ?PLACE ?TYPE) (instance ?PLACE GeopoliticalArea) (subAttribute ?TYPE ParliamentaryGovernment)) (exists (?ORG) (and (instance ?ORG Parliament) (subOrganization ?ORG (GovernmentFn ?PLACE))))) |
Government.kif 244-252 | |
| (=> (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 4552-4560 | |
| (=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2543-2547 | |
| (=> (and (subAttribute ?ATTR1 ?ATTR2) (instance ?ATTR2 ?CLASS)) (instance ?ATTR1 ?CLASS)) |
Merge.kif 667-671 | |
| (=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (property ?OBJ ?ATTR1) (property ?OBJ ?ATTR2)))) |
Merge.kif 660-665 |
| consequent |
|
|
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4488-4494 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4496-4502 | |
| (=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4339-4341 |
| 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