TreeView Knowledge Base Browser

appearance as argument number 1

(documentation dateUsed EnglishLanguage "The date an Object is used by an Agent.")	Mid-level-ontology.kif 953-953
(domain dateUsed 1 Object)	Mid-level-ontology.kif 950-950
(domain dateUsed 2 TimePoint)	Mid-level-ontology.kif 951-951
(domain dateUsed 3 Agent)	Mid-level-ontology.kif 952-952
(instance dateUsed TernaryPredicate)	Mid-level-ontology.kif 949-949

appearance as argument number 2

(format ChineseLanguage dateUsed "%1 是被 %3 used 在 %2 ")	domainEnglishFormat.kif 3167-3167
(format ChineseTraditionalLanguage dateUsed "%1 是被 %3 used 在 %2 ")	domainEnglishFormat.kif 3166-3166
(format EnglishLanguage dateUsed "%1 is used by %3 at %2")	domainEnglishFormat.kif 3165-3165
(termFormat EnglishLanguage dateUsed "date used")	Mid-level-ontology.kif 954-954

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 955-963

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

KB Term:			Term intersection

English Word: