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	Die Zahl 1 Argument von dateUsed ist ein fall von Object %n{nicht}
(domain dateUsed 2 TimeInterval)	Mid-level-ontology.kif 987-987	Die Zahl 2 Argument von dateUsed ist ein fall von TimeInterval %n{nicht}
(domain dateUsed 3 AutonomousAgent)	Mid-level-ontology.kif 988-988	Die Zahl 3 Argument von dateUsed ist ein fall von AutonomousAgent %n{nicht}
(instance dateUsed TernaryPredicate)	Mid-level-ontology.kif 985-985	dateUsed ist ein fall von TernaryPredicate %n{nicht}

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

Wenn dateUsed Object, TimeInterval and AutonomousAgent,
dann es gibt Process um ** Process ist ein fall von Process %n{nicht} und ** Object ist ein patient von ** Process %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** AutonomousAgent verwendet ** Object und die zeit des Bestehens von ** Process deckt sich mit ** TimeInterval %n{nicht}

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

KB Term:			Term intersection

English Word: