| 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 20649-20651 | |
| (domain subordinateInOrganization 1 Organization) | Mid-level-ontology.kif 20645-20645 | |
| (domain subordinateInOrganization 2 Human) | Mid-level-ontology.kif 20646-20646 | |
| (domain subordinateInOrganization 3 Human) | Mid-level-ontology.kif 20647-20647 | |
| (instance subordinateInOrganization TernaryPredicate) | Mid-level-ontology.kif 20644-20644 |
| 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 55742-55742 | |
| (termFormat ChineseTraditionalLanguage subordinateInOrganization "從屬於組織") | domainEnglishFormat.kif 55741-55741 | |
| (termFormat EnglishLanguage subordinateInOrganization "subordinate in organization") | domainEnglishFormat.kif 55740-55740 |
| antecedent |
|
|
| (=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON1)) |
Mid-level-ontology.kif 20653-20655 | |
| (=> (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) (employs ?ORG ?PERSON2)) |
Mid-level-ontology.kif 20657-20659 |
| 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 20671-20679 | |
| (=> (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 18613-18622 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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