Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  subordinateInOrganization

 Sigma KEE - subordinateInOrganization
subordinateInOrganization

appearance as argument number 1
-------------------------


(instance subordinateInOrganization TernaryPredicate) Mid-level-ontology.kif 25004-25004 subordinate in organization is an instance of ternary predicate
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 25005-25005 The number 1 argument of subordinate in organization is an instance of organization
(domain subordinateInOrganization 2 Human) Mid-level-ontology.kif 25006-25006 The number 2 argument of subordinate in organization is an instance of human
(domain subordinateInOrganization 3 Human) Mid-level-ontology.kif 25007-25007 The number 3 argument of subordinate in organization is an instance of human
(documentation subordinateInOrganization EnglishLanguage "(subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) means that in the Organization ?ORG, ?PERSON1 is subordinate to ?PERSON2.") Mid-level-ontology.kif 25009-25011 The number 3 argument of subordinate in organization is an instance of human

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON1))		 Mid-level-ontology.kif 25013-25015 If X is subordinate in organization Y for Z, then X employs Y
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON2))		 Mid-level-ontology.kif 25017-25019 If X is subordinate in organization Y for Z, then X employs Z

consequent
-------------------------


(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))		 Mid-level-ontology.kif 23145-23151 If X is an instance of deacon, then there exist Y, Z such that Y is an instance of religious organization, Z is an instance of cleric, and Y is subordinate in organization X for Z
(=>
    (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 23153-23162 If X holds the position of deacon in Y and Y is an instance of religious organization holds during Z, then there exists W such that W holds the position of cleric in Y and Y is subordinate in organization X for W holds during Z
(=>
    (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 25031-25039 If X is subordinate position Y for Z and W holds the position of Y in X, then there exists V such that V is an instance of human, V holds the position of Z in X, and X is subordinate in organization W for V


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners