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 24372-24374
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 24368-24368
(domain subordinateInOrganization 2 Human) Mid-level-ontology.kif 24369-24369
(domain subordinateInOrganization 3 Human) Mid-level-ontology.kif 24370-24370
(instance subordinateInOrganization TernaryPredicate) Mid-level-ontology.kif 24367-24367

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 24376-24378
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON2))
Mid-level-ontology.kif 24380-24382

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 24394-24402
(=>
    (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
(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))
Mid-level-ontology.kif 22520-22526


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