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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - exportPartnerInPeriod

appearance as argument number 1

(documentation exportPartnerInPeriod EnglishLanguage "(exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) means that the Agent ?AGENT1 exports goods to the Agent ?AGENT2 during the TimeInterval indicated by ?PERIOD.") Economy.kif 2358-2361
(domain exportPartnerInPeriod 1 Agent) Economy.kif 2354-2354 exportPartnerInPeriod 的 1 数量 是 施事体instance
(domain exportPartnerInPeriod 2 Agent) Economy.kif 2355-2355 exportPartnerInPeriod 的 2 数量 是 施事体instance
(domainSubclass exportPartnerInPeriod 3 TimeInterval) Economy.kif 2356-2356 exportPartnerInPeriod 的 3 数量 是 时距subclass
(instance exportPartnerInPeriod TernaryPredicate) Economy.kif 2353-2353 exportPartnerInPeriod三元谓语instance

appearance as argument number 2

(format EnglishLanguage exportPartnerInPeriod "%1 %n{doesn't} export partner in period %2 for %3") domainEnglishFormat.kif 251-251
(termFormat EnglishLanguage exportPartnerInPeriod "export partner in period") domainEnglishFormat.kif 4243-4243 termFormat EnglishLanguage, exportPartnerInPeriod and "export partner in period"


    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2391-2396 exportPartnerInPeriod 施事体, 另一个 施事体 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceexportPartner 那个 施事体 and 那个 另外 施事体那个 时间位置 holdsDuring
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME ?EXPORT)
            (instance ?TIME ?PERIOD)
            (instance ?EXPORT Exporting)
            (overlapsTemporally ?TIME
                (WhenFn ?EXPORT))
            (origin ?EXPORT ?AGENT1)
            (destination ?EXPORT ?AGENT2))))
Economy.kif 2363-2371

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

Show without tree

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