TreeView Knowledge Base Browser

appearance as argument number 1

(documentation dateUsed EnglishLanguage "The date an Object is used by an AutonomousAgent.")	Mid-level-ontology.kif 989-989
(domain dateUsed 1 Object)	Mid-level-ontology.kif 986-986	dateUsed の数値 1 引数はオブジェクトの instance では %n
(domain dateUsed 2 TimeInterval)	Mid-level-ontology.kif 987-987	dateUsed の数値 2 引数は時間間隔の instance では %n
(domain dateUsed 3 AutonomousAgent)	Mid-level-ontology.kif 988-988	dateUsed の数値 3 引数は AutonomousAgent の instance では %n
(instance dateUsed TernaryPredicate)	Mid-level-ontology.kif 985-985	dateUsed は 3進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage dateUsed "%1 是被 %3 used 在 %2 ")	domainEnglishFormat.kif 3162-3162
(format ChineseTraditionalLanguage dateUsed "%1 是被 %3 used 在 %2 ")	domainEnglishFormat.kif 3161-3161
(format EnglishLanguage dateUsed "%1 is used by %3 at %2")	domainEnglishFormat.kif 3160-3160
(termFormat EnglishLanguage dateUsed "date used")	Mid-level-ontology.kif 990-990

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 991-999

dateUsed オブジェクト, 時間間隔 and AutonomousAgent
工程工程は工程の instance では %n オブジェクトは工程の patient では %n AutonomousAgent は工程の agent では %n AutonomousAgent はオブジェクトを uses %n{ない} 工程の time の existence は時間間隔と overlaps %n{dない}

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

KB Term:			Term intersection

English Word: