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 |
![]() |
![]() |