| appearance as argument number 1 |
|
| (documentation MemberFn EnglishLanguage "(MemberFn ?ORG) denotes the Position of a member in the Organization ?ORG.") | Government.kif 1726-1727 | |
| (domain MemberFn 1 Organization) | Government.kif 1723-1723 | |
| (instance MemberFn UnaryFunction) | Government.kif 1722-1722 | |
| (range MemberFn Position) | Government.kif 1724-1724 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MemberFn "%1 的 member ") | domainEnglishFormat.kif 1687-1687 | |
| (format ChineseTraditionalLanguage MemberFn "%1 的 member ") | domainEnglishFormat.kif 1686-1686 | |
| (format EnglishLanguage MemberFn "the member of %1") | domainEnglishFormat.kif 1685-1685 | |
| (termFormat ChineseLanguage MemberFn "会员") | domainEnglishFormat.kif 37036-37036 | |
| (termFormat ChineseTraditionalLanguage MemberFn "會員") | domainEnglishFormat.kif 37035-37035 | |
| (termFormat EnglishLanguage MemberFn "member") | domainEnglishFormat.kif 37034-37034 |
| antecedent |
|
|
| (=> (and (attribute ?AGENT (MemberFn ?ORG)) (instance ?AGENT AutonomousAgent) (instance ?ORG Organization)) (member ?AGENT ?ORG)) |
Government.kif 1736-1741 | |
| (=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP)) |
Government.kif 1793-1797 |
| consequent |
|
|
| (=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1729-1734 | |
| (=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1751-1757 | |
| (=> (electionForOrganization ?ELECTION ?GROUP) (electionForPosition ?ELECTION (MemberFn ?GROUP))) |
Government.kif 1789-1791 |
|
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