| appearance as argument number 1 |
|
| (documentation associateWithStatus EnglishLanguage "(associateWithStatus ?AGT ?STATUS ?GROUP) means that the Agent ?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 2436-2441 | |
| (domain associateWithStatus 1 Agent) | Government.kif 2432-2432 | domain associateWithStatus, 1 and Agent |
| (domain associateWithStatus 2 RelationalAttribute) | Government.kif 2433-2433 | domain associateWithStatus, 2 and RelationalAttribute |
| (domain associateWithStatus 3 Group) | Government.kif 2434-2434 | domain associateWithStatus, 3 and Group |
| (instance associateWithStatus TernaryPredicate) | Government.kif 2431-2431 | instance associateWithStatus and TernaryPredicate |
| 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 8805-8805 | |
| (termFormat ChineseTraditionalLanguage associateWithStatus "與地位相關聯") | domainEnglishFormat.kif 8804-8804 | |
| (termFormat EnglishLanguage associateWithStatus "associate with status") | domainEnglishFormat.kif 8803-8803 |
| antecedent |
|
|
| (=> (associateWithStatus ?AGENT ?STATUS ?GROUP) (associateInOrganization ?AGENT ?GROUP)) |
Government.kif 2443-2445 | |
| (=> (associateWithStatus ?AGENT FullMember ?GROUP) (member ?AGENT ?GROUP)) |
Government.kif 2447-2449 |
|
| (=> (associateWithStatus ?AGENT SuspendedMember ?GROUP) (not (member ?AGENT ?GROUP))) |
Government.kif 2451-2453 |
|
|
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