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 22731-22733 | |
(domain subordinateInOrganization 1 Organization) | Mid-level-ontology.kif 22727-22727 | The number 1 argument of subordinate in organization is an instance of organization |
(domain subordinateInOrganization 2 Human) | Mid-level-ontology.kif 22728-22728 | The number 2 argument of subordinate in organization is an instance of human |
(domain subordinateInOrganization 3 Human) | Mid-level-ontology.kif 22729-22729 | The number 3 argument of subordinate in organization is an instance of human |
(instance subordinateInOrganization TernaryPredicate) | Mid-level-ontology.kif 22726-22726 | subordinate in organization is an instance of ternary predicate |
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 55752-55752 | |
(termFormat ChineseTraditionalLanguage subordinateInOrganization "從屬於組織") | domainEnglishFormat.kif 55751-55751 | |
(termFormat EnglishLanguage subordinateInOrganization "subordinate in organization") | domainEnglishFormat.kif 55750-55750 |
antecedent |
(=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON1)) |
Mid-level-ontology.kif 22735-22737 |
|
(=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON2)) |
Mid-level-ontology.kif 22739-22741 |
|
consequent |