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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Barium

 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 22783-22785
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 22779-22779 subordinateInOrganization の数値 1 引数は 組織 の instance では %n
(domain subordinateInOrganization 2 Human) Mid-level-ontology.kif 22780-22780 subordinateInOrganization の数値 2 引数は 人［人間］ の instance では %n
(domain subordinateInOrganization 3 Human) Mid-level-ontology.kif 22781-22781 subordinateInOrganization の数値 3 引数は 人［人間］ の instance では %n
(instance subordinateInOrganization TernaryPredicate) Mid-level-ontology.kif 22778-22778 subordinateInOrganization は 3進述語 の instance では %n

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

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


(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON1))		 Mid-level-ontology.kif 22787-22789
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON2))		 Mid-level-ontology.kif 22791-22793

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 22805-22813
(=>
    (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 20938-20947
(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))		 Mid-level-ontology.kif 20930-20936


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