subordinateInOrganization - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subordinateInOrganization

subordinateInOrganization

appearance as argument number 1

(documentation subordinateInOrganization EnglishLanguage "(subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) means that in the Organization ?ORG, ?PERSON1 is subordinate to ?PERSON2.")	Mid-level-ontology.kif 24374-24376
(domain subordinateInOrganization 1 Organization)	Mid-level-ontology.kif 24370-24370	The number 1 argument of subordinate in organization is an instance of organization
(domain subordinateInOrganization 2 Human)	Mid-level-ontology.kif 24371-24371	The number 2 argument of subordinate in organization is an instance of human
(domain subordinateInOrganization 3 Human)	Mid-level-ontology.kif 24372-24372	The number 3 argument of subordinate in organization is an instance of human
(instance subordinateInOrganization TernaryPredicate)	Mid-level-ontology.kif 24369-24369	subordinate in organization is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage subordinateInOrganization "%1 %n 是对于 %3 在组织 %2 的 subordinate ")	domainEnglishFormat.kif 2395-2395
(format ChineseTraditionalLanguage subordinateInOrganization "%1 %n 是對於 %3 在組織 %2 的 subordinate ")	domainEnglishFormat.kif 2394-2394
(format EnglishLanguage subordinateInOrganization "%1 is %n subordinate in organization %2 for %3")	domainEnglishFormat.kif 2393-2393
(termFormat ChineseLanguage subordinateInOrganization "从属于组织")	domainEnglishFormat.kif 55756-55756
(termFormat ChineseTraditionalLanguage subordinateInOrganization "從屬於組織")	domainEnglishFormat.kif 55755-55755
(termFormat EnglishLanguage subordinateInOrganization "subordinate in organization")	domainEnglishFormat.kif 55754-55754

antecedent

(=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON1))	Mid-level-ontology.kif 24378-24380	If an organization is subordinate in organization a human for another human, then the organization employs the human
(=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON2))	Mid-level-ontology.kif 24382-24384	If an organization is subordinate in organization a human for another human, then the organization employs the other human

consequent

(=> (and (subordinatePosition ?ORG ?ROLE1 ?ROLE2) (occupiesPosition ?PERSON1 ?ROLE1 ?ORG)) (exists (?PERSON2) (and (instance ?PERSON2 Human) (occupiesPosition ?PERSON2 ?ROLE2 ?ORG) (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2))))	Mid-level-ontology.kif 24396-24404	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
(=> (holdsDuring ?TIME (and (occupiesPosition ?PERSON Deacon ?ORG) (instance ?ORG ReligiousOrganization))) (exists (?C) (holdsDuring ?TIME (and (occupiesPosition ?C Cleric ?ORG) (subordinateInOrganization ?ORG ?PERSON ?C)))))	Mid-level-ontology.kif 22528-22537	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
(=> (instance ?D Deacon) (exists (?O ?C) (and (instance ?O ReligiousOrganization) (instance ?C Cleric) (subordinateInOrganization ?O ?D ?C))))	Mid-level-ontology.kif 22520-22526	If a human is an instance of deacon, then there exist an organization and another human such that the organization is an instance of religious organization and the other human is an instance of cleric and the organization is subordinate in organization the human for the other human

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