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 AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2 during the TimeInterval indicated by ?PERIOD.") Economy.kif 2594-2597
(domain exportPartnerInPeriod 1 AutonomousAgent) Economy.kif 2590-2590 出口合作伙伴期间 的 1 数量 是 施事体 的 instance
(domain exportPartnerInPeriod 2 AutonomousAgent) Economy.kif 2591-2591 出口合作伙伴期间 的 2 数量 是 施事体 的 instance
(domainSubclass exportPartnerInPeriod 3 TimeInterval) Economy.kif 2592-2592 出口合作伙伴期间 的 3 数量 是 时距 的 subclass
(instance exportPartnerInPeriod TernaryPredicate) Economy.kif 2589-2589 出口合作伙伴期间 是 三元谓语 的 instance

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


(format ChineseLanguage exportPartnerInPeriod "%1 %n{不} 对于 %3 在周期 %2 export 伙伴") domainEnglishFormat.kif 971-971
(format ChineseTraditionalLanguage exportPartnerInPeriod "%1 %n{不} 對於 %3 在週期 %2 export 夥伴") domainEnglishFormat.kif 970-970
(format EnglishLanguage exportPartnerInPeriod "%1 %n{doesn't} export partner in period %2 for %3") domainEnglishFormat.kif 969-969
(termFormat ChineseLanguage exportPartnerInPeriod "出口合作伙伴期间") domainEnglishFormat.kif 22933-22933
(termFormat ChineseTraditionalLanguage exportPartnerInPeriod "出口合作夥伴期間") domainEnglishFormat.kif 22932-22932
(termFormat EnglishLanguage exportPartnerInPeriod "export partner in period") domainEnglishFormat.kif 22931-22931

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


(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))		 Economy.kif 2627-2632 施事体 对于 有点 时距 在周期 另一个 施事体 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 另外 施事体 是 那个 施事体 的 export 伙伴 在 那个 时间位置 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 2599-2607


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 3.0 is open source software produced by Articulate Software and its partners