TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage dateUsed "date used")	Mid-level-ontology.kif 987-987
(format EnglishLanguage dateUsed "%1 is used by %3 at %2")	domainEnglishFormat.kif 3156-3156
(format ChineseTraditionalLanguage dateUsed "%1 是被 %3 used 在 %2 ")	domainEnglishFormat.kif 3157-3157
(format ChineseLanguage dateUsed "%1 是被 %3 used 在 %2 ")	domainEnglishFormat.kif 3158-3158

antecedent

(=>
    (dateUsed ?OBJECT ?DATE ?AGENT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (patient ?PROCESS ?OBJECT)
            (agent ?PROCESS ?AGENT)
            (uses ?OBJECT ?AGENT)
            (overlapsTemporally ?DATE
                (WhenFn ?PROCESS)))))

Mid-level-ontology.kif 988-996

If X is used by Y at Z, then there exists W such that W is an instance of process, X is a patient of W, Y is an agent of W, Y uses X, and the time of existence of W overlaps Z

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

KB Term:			Term intersection

English Word: