TreeView Knowledge Base Browser - subordinateInOrganization

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

subordinateInOrganization

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 22730-22732
(domain subordinateInOrganization 1 Organization)	Mid-level-ontology.kif 22726-22726	Die Zahl 1 Argument von subordinateInOrganization ist ein fall von Organization %n{nicht}
(domain subordinateInOrganization 2 Human)	Mid-level-ontology.kif 22727-22727	Die Zahl 2 Argument von subordinateInOrganization ist ein fall von Human %n{nicht}
(domain subordinateInOrganization 3 Human)	Mid-level-ontology.kif 22728-22728	Die Zahl 3 Argument von subordinateInOrganization ist ein fall von Human %n{nicht}
(instance subordinateInOrganization TernaryPredicate)	Mid-level-ontology.kif 22725-22725	subordinateInOrganization ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage subordinateInOrganization "%1 %n 是对于 %3 在组织 %2 的 subordinate ")	domainEnglishFormat.kif 2391-2391
(format ChineseTraditionalLanguage subordinateInOrganization "%1 %n 是對於 %3 在組織 %2 的 subordinate ")	domainEnglishFormat.kif 2390-2390
(format EnglishLanguage subordinateInOrganization "%1 is %n subordinate in organization %2 for %3")	domainEnglishFormat.kif 2389-2389
(termFormat ChineseLanguage subordinateInOrganization "从属于组织")	domainEnglishFormat.kif 55752-55752
(termFormat ChineseTraditionalLanguage subordinateInOrganization "從屬於組織")	domainEnglishFormat.kif 55751-55751
(termFormat EnglishLanguage subordinateInOrganization "subordinate in organization")	domainEnglishFormat.kif 55750-55750

antecedent

(=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON1))	Mid-level-ontology.kif 22734-22736	Wenn subordinateInOrganization Organization, Human and Human, dann Organization beschaeftigt ** Human %n{nicht}
(=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON2))	Mid-level-ontology.kif 22738-22740	Wenn subordinateInOrganization Organization, Human and Human, dann Organization beschaeftigt Human %n{nicht}

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 22752-22760	Wenn subordinatePosition Organization, Position and Position und Human besetzt die position von Position in Organization, dann es gibt Human um Human ist ein fall von Human %n{nicht} und Human besetzt die position von Position in Organization und subordinateInOrganization Organization, Human and ** 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 20910-20919	Wenn entity besetzt die position von Deacon in entity und entity ist ein fall von ReligiousOrganization %n{nicht} haelt waehrend TimePosition %n{nicht}, dann es gibt entity um entity besetzt die position von Cleric in entity und subordinateInOrganization entity, entity and entity haelt waehrend TimePosition %n{nicht}
(=> (instance ?D Deacon) (exists (?O ?C) (and (instance ?O ReligiousOrganization) (instance ?C Cleric) (subordinateInOrganization ?O ?D ?C))))	Mid-level-ontology.kif 20902-20908	Wenn Human ist ein fall von Deacon %n{nicht}, dann es gibt Organization und Human um Organization ist ein fall von ReligiousOrganization %n{nicht} und Human ist ein fall von Cleric %n{nicht} und subordinateInOrganization Organization, Human and Human

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