TreeView Knowledge Base Browser

appearance as argument number 1

(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 22956-22959
(domain coworker 1 Human)	Mid-level-ontology.kif 22961-22961	同事的 1 数量是人类的 instance
(domain coworker 2 Human)	Mid-level-ontology.kif 22962-22962	同事的 2 数量是人类的 instance
(instance coworker BinaryPredicate)	Mid-level-ontology.kif 22953-22953	同事是二元谓语的 instance
(instance coworker SymmetricRelation)	Mid-level-ontology.kif 22954-22954	同事是对称关系的 instance
(subrelation coworker mutualAcquaintance)	Mid-level-ontology.kif 22963-22963	同事是相识熟人的 subrelation

appearance as argument number 2

(format ChineseLanguage coworker "%2 %n 是 %1 的 coworker ")	domainEnglishFormat.kif 572-572
(format ChineseTraditionalLanguage coworker "%2 %n 是 %1 的 coworker ")	domainEnglishFormat.kif 571-571
(format EnglishLanguage coworker "%2 is %n a coworker of %1")	domainEnglishFormat.kif 570-570
(termFormat ChineseLanguage coworker "同事")	domainEnglishFormat.kif 17670-17670
(termFormat ChineseTraditionalLanguage coworker "同事")	domainEnglishFormat.kif 17669-17669
(termFormat EnglishLanguage coworker "coworker")	domainEnglishFormat.kif 17668-17668

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 22965-22974

如果实体是另一个实体的 coworker 在时间位置 holdsDuring，
然后有存在第三实体这样那个第三实体是机构的 instance 和那个第三实体 employs 那个另外实体和那个第三实体 employs 那个实体在那个时间位置 holdsDuring

statement

(exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple))))	ComputingBrands.kif 2453-2457	有存在时间位置这样那个时间位置是 1976 year 的 instance 和斯蒂夫·沃兹尼亚克是史蒂芬·贾伯斯的 coworker 在那个时间位置 holdsDuring
(exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple))))	ComputingBrands.kif 2441-2445	有存在时间位置这样那个时间位置是 2002 year 的 instance 和提姆·库克是史蒂芬·贾伯斯的 coworker 在那个时间位置 holdsDuring

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: