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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exportPartnerInPeriod

Sigma KEE - exportPartnerInPeriod
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"

antecedent
-------------------------


(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2391-2396 exportPartnerInPeriod 施事体, 另一个 施事体 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceexportPartner 那个 施事体 and 那个 另外 施事体那个 时间位置 holdsDuring
(=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME ?EXPORT)
        (and
            (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