| appearance as argument number 1 |
|
| (documentation associateWithStatus EnglishLanguage "(associateWithStatus ?AGT ?STATUS ?GROUP) means that the AutonomousAgent ?AGT has the RelationalAttribute ?STATUS in the Group ?GROUP. For example, (associateWithStatus UnitedStates PermanentMember UnitedNationsSecurityCouncil) means that the &UnitedStates has the status of a permanent member in the U.N. Security Council.") | Government.kif 2401-2406 | |
| (domain associateWithStatus 1 AutonomousAgent) | Government.kif 2397-2397 | The number 1 argument of associate with status is an instance of agent |
| (domain associateWithStatus 2 RelationalAttribute) | Government.kif 2398-2398 | The number 2 argument of associate with status is an instance of relational attribute |
| (domain associateWithStatus 3 Group) | Government.kif 2399-2399 | The number 3 argument of associate with status is an instance of group |
| (instance associateWithStatus TernaryPredicate) | Government.kif 2396-2396 | associate with status is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage associateWithStatus "%1 %n{不是} 对于 %3 associate 和状态 %2") | domainEnglishFormat.kif 204-204 | |
| (format ChineseTraditionalLanguage associateWithStatus "%1 %n{不是} 對於 %3 associate 和狀態 %2 ") | domainEnglishFormat.kif 203-203 | |
| (format EnglishLanguage associateWithStatus "%1 %n{doesn't} associate with status %2 for %3") | domainEnglishFormat.kif 202-202 | |
| (termFormat ChineseLanguage associateWithStatus "与地位相关联") | domainEnglishFormat.kif 8803-8803 | |
| (termFormat ChineseTraditionalLanguage associateWithStatus "與地位相關聯") | domainEnglishFormat.kif 8802-8802 | |
| (termFormat EnglishLanguage associateWithStatus "associate with status") | domainEnglishFormat.kif 8801-8801 |
| antecedent |
|
|
| (=> (associateWithStatus ?AGENT ?STATUS ?GROUP) (associateInOrganization ?AGENT ?GROUP)) |
Government.kif 2408-2410 | |
| (=> (associateWithStatus ?AGENT FullMember ?GROUP) (member ?AGENT ?GROUP)) |
Government.kif 2412-2414 | |
| (=> (associateWithStatus ?AGENT SuspendedMember ?GROUP) (not (member ?AGENT ?GROUP))) |
Government.kif 2416-2418 |
|
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