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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(domain exportPartnerInPeriod 2 Agent) Economy.kif 2355-2355
(domainSubclass exportPartnerInPeriod 3 TimeInterval) Economy.kif 2356-2356
(instance exportPartnerInPeriod TernaryPredicate) Economy.kif 2353-2353

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 22855-22855
(termFormat ChineseTraditionalLanguage exportPartnerInPeriod "出口合作夥伴期間") domainEnglishFormat.kif 22854-22854
(termFormat EnglishLanguage exportPartnerInPeriod "export partner in period") domainEnglishFormat.kif 22853-22853

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


(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2391-2396
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners