TreeView Knowledge Base Browser - MemberRoleFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MemberRoleFn

MemberRoleFn

appearance as argument number 1

(documentation MemberRoleFn EnglishLanguage "(MemberRoleFn ?ORG ?POSITION) denotes the role of having the Position ?POSITION the Organization ?ORG.")	Government.kif 1750-1751
(domain MemberRoleFn 1 Organization)	Government.kif 1746-1746	Il numero 1 argomenti di MemberRoleFn è un istanza di Organizzazione
(domain MemberRoleFn 2 Position)	Government.kif 1747-1747	Il numero 2 argomenti di MemberRoleFn è un istanza di Posizione
(instance MemberRoleFn BinaryFunction)	Government.kif 1745-1745	MemberRoleFn è un' istanza di FunzioneBinaria
(range MemberRoleFn Position)	Government.kif 1748-1748	rango di MemberRoleFn è un'istanza di Posizione

appearance as argument number 2

(format ChineseLanguage MemberRoleFn "%2 和 %1 的 member 角色")	domainEnglishFormat.kif 1691-1691
(format ChineseTraditionalLanguage MemberRoleFn "%2 和 %1 的 member 角色")	domainEnglishFormat.kif 1690-1690
(format EnglishLanguage MemberRoleFn "the member role of %1 and %2")	domainEnglishFormat.kif 1689-1689
(termFormat ChineseLanguage MemberRoleFn "成员角色")	domainEnglishFormat.kif 37013-37013
(termFormat ChineseTraditionalLanguage MemberRoleFn "成員角色")	domainEnglishFormat.kif 37012-37012
(termFormat EnglishLanguage MemberRoleFn "member role")	domainEnglishFormat.kif 37011-37011

antecedent

(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1753-1759	Oggetto è un' istanza di Umano Organizzazione è un' istanza di Organizzazione Posizione è un' istanza di Posizione attribute Oggetto and MemberRoleFn Organizzazione and Posizione attribute Oggetto and MemberFn Organizzazione
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1761-1767	Oggetto è un' istanza di Umano Organizzazione è un' istanza di Organizzazione Posizione è un' istanza di Posizione attribute Oggetto and MemberRoleFn Organizzazione and Posizione Oggetto è un membro di Organizzazione
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1770-1776	Umano è un' istanza di Umano Organizzazione è un' istanza di Organizzazione Posizione è un' istanza di Posizione attribute Umano and MemberRoleFn Organizzazione and Posizione Umano occupa la posizione di Posizione in Organizzazione

consequent

(=>
    (occupiesPosition ?PERSON ?POSITION ?ORG)
    (attribute ?PERSON
        (MemberRoleFn ?ORG ?POSITION)))

Government.kif 1778-1780

Umano occupa la posizione di Posizione in Organizzazione
attribute Umano and MemberRoleFn Organizzazione and Posizione

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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