Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| coworker |
| appearance as argument number 1 |
|
| (instance coworker BinaryPredicate) | Mid-level-ontology.kif 25271-25271 | coworker is an instance of binary predicate |
| (instance coworker SymmetricRelation) | Mid-level-ontology.kif 25272-25272 | coworker is an instance of symmetric relation |
| (documentation coworker EnglishLanguage "(holdsDuring ?T1 (coworker ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 are both employed by the same agent, are of roughly the same job status, and come into contact at least part of the time at the same work location.") | Mid-level-ontology.kif 25274-25277 | coworker is an instance of symmetric relation |
| (domain coworker 1 Human) | Mid-level-ontology.kif 25279-25279 | The number 1 argument of coworker is an instance of human |
| (domain coworker 2 Human) | Mid-level-ontology.kif 25280-25280 | The number 2 argument of coworker is an instance of human |
| (subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 25281-25281 | coworker is a subrelation of mutual acquaintance |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage coworker "%2 is %n a coworker of %1") | domainEnglishFormat.kif 570-570 | |
| (format ChineseTraditionalLanguage coworker "%2 %n 是 %1 的 coworker ") | domainEnglishFormat.kif 571-571 | |
| (format ChineseLanguage coworker "%2 %n 是 %1 的 coworker ") | domainEnglishFormat.kif 572-572 | |
| (termFormat EnglishLanguage coworker "coworker") | domainEnglishFormat.kif 17670-17670 | |
| (termFormat ChineseTraditionalLanguage coworker "同事") | domainEnglishFormat.kif 17671-17671 | |
| (termFormat ChineseLanguage coworker "同事") | domainEnglishFormat.kif 17672-17672 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (coworker ?H1 ?H2)) (exists (?ORG) (and (instance ?ORG Organization) (holdsDuring ?T1 (and (employs ?ORG ?H1) (employs ?ORG ?H2)))))) |
Mid-level-ontology.kif 25283-25292 | If X is a coworker of Y holds during Z, then there exists W such that W is an instance of organization, W employs Y, and W employs X holds during Z |
| statement |
|
|
| (exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2441-2445 | There exists X such that X is an instance of the year 2002 and Tim Cook is a coworker of Steve Jobs holds during X |
| (exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple)))) |
ComputingBrands.kif 2453-2457 | There exists X such that X is an instance of the year 1976 and Steve Wozniak is a coworker of Steve Jobs holds during X |
|