Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| subordinateInOrganization |
| appearance as argument number 1 |
|
| (instance subordinateInOrganization TernaryPredicate) | Mid-level-ontology.kif 25004-25004 | subordinate in organization is an instance of ternary predicate |
| (domain subordinateInOrganization 1 Organization) | Mid-level-ontology.kif 25005-25005 | The number 1 argument of subordinate in organization is an instance of organization |
| (domain subordinateInOrganization 2 Human) | Mid-level-ontology.kif 25006-25006 | The number 2 argument of subordinate in organization is an instance of human |
| (domain subordinateInOrganization 3 Human) | Mid-level-ontology.kif 25007-25007 | The number 3 argument of subordinate in organization is an instance of human |
| (documentation subordinateInOrganization EnglishLanguage "(subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) means that in the Organization ?ORG, ?PERSON1 is subordinate to ?PERSON2.") | Mid-level-ontology.kif 25009-25011 | The number 3 argument of subordinate in organization is an instance of human |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage subordinateInOrganization "%1 is %n subordinate in organization %2 for %3") | domainEnglishFormat.kif 2393-2393 | |
| (format ChineseTraditionalLanguage subordinateInOrganization "%1 %n 是 對於 %3 在 組織 %2 的 subordinate ") | domainEnglishFormat.kif 2394-2394 | |
| (format ChineseLanguage subordinateInOrganization "%1 %n 是 对于 %3 在 组织 %2 的 subordinate ") | domainEnglishFormat.kif 2395-2395 | |
| (termFormat EnglishLanguage subordinateInOrganization "subordinate in organization") | domainEnglishFormat.kif 55747-55747 | |
| (termFormat ChineseTraditionalLanguage subordinateInOrganization "從屬於組織") | domainEnglishFormat.kif 55748-55748 | |
| (termFormat ChineseLanguage subordinateInOrganization "从属于组织") | domainEnglishFormat.kif 55749-55749 |
| antecedent |
|
|
| (=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON1)) |
Mid-level-ontology.kif 25013-25015 | If X is subordinate in organization Y for Z, then X employs Y |
| (=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON2)) |
Mid-level-ontology.kif 25017-25019 | If X is subordinate in organization Y for Z, then X employs Z |
| consequent |
|
|
| (=> (instance ?D Deacon) (exists (?O ?C) (and (instance ?O ReligiousOrganization) (instance ?C Cleric) (subordinateInOrganization ?O ?D ?C)))) |
Mid-level-ontology.kif 23145-23151 | If X is an instance of deacon, then there exist Y, Z such that Y is an instance of religious organization, Z is an instance of cleric, and Y is subordinate in organization X for Z |
| (=> (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 23153-23162 | If X holds the position of deacon in Y and Y is an instance of religious organization holds during Z, then there exists W such that W holds the position of cleric in Y and Y is subordinate in organization X for W holds during Z |
| (=> (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 25031-25039 | If X is subordinate position Y for Z and W holds the position of Y in X, then there exists V such that V is an instance of human, V holds the position of Z in X, and X is subordinate in organization W for V |
|