Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 22262-22264
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 22258-22258
(domain subordinateInOrganization 2 Human) Mid-level-ontology.kif 22259-22259
(domain subordinateInOrganization 3 Human) Mid-level-ontology.kif 22260-22260
(instance subordinateInOrganization TernaryPredicate) Mid-level-ontology.kif 22257-22257

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 55731-55731
(termFormat ChineseTraditionalLanguage subordinateInOrganization "從屬於組織") domainEnglishFormat.kif 55730-55730
(termFormat EnglishLanguage subordinateInOrganization "subordinate in organization") domainEnglishFormat.kif 55729-55729


    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON1))
Mid-level-ontology.kif 22266-22268
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON2))
Mid-level-ontology.kif 22270-22272


        (subordinatePosition ?ORG ?ROLE1 ?ROLE2)
        (occupiesPosition ?PERSON1 ?ROLE1 ?ORG))
    (exists (?PERSON2)
            (instance ?PERSON2 Human)
            (occupiesPosition ?PERSON2 ?ROLE2 ?ORG)
            (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22284-22292
    (holdsDuring ?TIME
            (occupiesPosition ?PERSON Deacon ?ORG)
            (instance ?ORG ReligiousOrganization)))
    (exists (?C)
        (holdsDuring ?TIME
                (occupiesPosition ?C Cleric ?ORG)
                (subordinateInOrganization ?ORG ?PERSON ?C)))))
Mid-level-ontology.kif 20315-20324
    (instance ?D Deacon)
    (exists (?O ?C)
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))
Mid-level-ontology.kif 20307-20313

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