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 20643-20645
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 20639-20639 The number 1 argument of subordinate in organization is an instance of organization
(domain subordinateInOrganization 2 Human) Mid-level-ontology.kif 20640-20640 The number 2 argument of subordinate in organization is an instance of human
(domain subordinateInOrganization 3 Human) Mid-level-ontology.kif 20641-20641 The number 3 argument of subordinate in organization is an instance of human
(instance subordinateInOrganization TernaryPredicate) Mid-level-ontology.kif 20638-20638 subordinate in organization is an instance of ternary predicate

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


(format ChineseLanguage subordinateInOrganization "%1 %n 是 对于 %3 在 组织 %2 的 subordinate ") domainEnglishFormat.kif 2387-2387
(format ChineseTraditionalLanguage subordinateInOrganization "%1 %n 是 對於 %3 在 組織 %2 的 subordinate ") domainEnglishFormat.kif 2386-2386
(format EnglishLanguage subordinateInOrganization "%1 is %n subordinate in organization %2 for %3") domainEnglishFormat.kif 2385-2385
(termFormat ChineseLanguage subordinateInOrganization "从属于组织") domainEnglishFormat.kif 55666-55666
(termFormat ChineseTraditionalLanguage subordinateInOrganization "從屬於組織") domainEnglishFormat.kif 55665-55665
(termFormat EnglishLanguage subordinateInOrganization "subordinate in organization") domainEnglishFormat.kif 55664-55664

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


(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON1))
Mid-level-ontology.kif 20647-20649
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON2))
Mid-level-ontology.kif 20651-20653

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 20665-20673
(=>
    (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 18607-18616


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