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 1377-1377
(domain dateUsed 1 Object) Mid-level-ontology.kif 1374-1374 domain dateUsed, 1 and Object
(domain dateUsed 2 TimePoint) Mid-level-ontology.kif 1375-1375 domain dateUsed, 2 and TimePoint
(domain dateUsed 3 Agent) Mid-level-ontology.kif 1376-1376 domain dateUsed, 3 and Agent
(instance dateUsed TernaryPredicate) Mid-level-ontology.kif 1373-1373 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 1378-1378 termFormat EnglishLanguage, dateUsed and "date used"

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 1379-1387


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners