Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dateUsed
dateUsed

appearance as argument number 1
-------------------------


(documentation dateUsed EnglishLanguage "The date an Object is used by an Agent.") Mid-level-ontology.kif 1383-1383
(domain dateUsed 1 Object) Mid-level-ontology.kif 1380-1380 domain dateUsed, 1 and Object
(domain dateUsed 2 TimePoint) Mid-level-ontology.kif 1381-1381 domain dateUsed, 2 and TimePoint
(domain dateUsed 3 Agent) Mid-level-ontology.kif 1382-1382 domain dateUsed, 3 and Agent
(instance dateUsed TernaryPredicate) Mid-level-ontology.kif 1379-1379 instance dateUsed and TernaryPredicate

appearance as argument number 2
-------------------------


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

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 1385-1393


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners