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

Formal Language: 


KB Term:  Term intersection
English Word: 

  importPartnerInPeriod

 Sigma KEE - importPartnerInPeriod
importPartnerInPeriod

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


(documentation importPartnerInPeriod EnglishLanguage "(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) means that the AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2 during the TimeInterval indicated by ?PERIOD.") Economy.kif 2979-2982
(domain importPartnerInPeriod 1 AutonomousAgent) Economy.kif 2975-2975
(domain importPartnerInPeriod 2 AutonomousAgent) Economy.kif 2976-2976
(domainSubclass importPartnerInPeriod 3 TimeInterval) Economy.kif 2977-2977
(instance importPartnerInPeriod TernaryPredicate) Economy.kif 2973-2973

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


(format ChineseLanguage importPartnerInPeriod "%1 %n{不} 对于 %3 在 周期 %2 import 伙伴") domainEnglishFormat.kif 1281-1281
(format ChineseTraditionalLanguage importPartnerInPeriod "%1 %n{不} 對於 %3 在 週期 %2 import 夥伴") domainEnglishFormat.kif 1280-1280
(format EnglishLanguage importPartnerInPeriod "%1 %n{doesn't} import partner in period %2 for %3") domainEnglishFormat.kif 1279-1279
(termFormat ChineseLanguage importPartnerInPeriod "期间的进口伙伴") domainEnglishFormat.kif 29454-29454
(termFormat ChineseTraditionalLanguage importPartnerInPeriod "期間的進口夥伴") domainEnglishFormat.kif 29453-29453
(termFormat EnglishLanguage importPartnerInPeriod "import partner in period") domainEnglishFormat.kif 29452-29452

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


(<=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (importPartner ?AGENT1 ?AGENT2)))))		 Economy.kif 3011-3016
(=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME ?EXPORT)
        (and
            (instance ?TIME ?PERIOD)
            (instance ?EXPORT Exporting)
            (overlapsTemporally ?TIME
                (WhenFn ?EXPORT))
            (origin ?EXPORT ?AGENT2)
            (destination ?EXPORT ?AGENT1))))		 Economy.kif 2984-2992


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