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 AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2 during the TimeInterval indicated by ?PERIOD.") Economy.kif 2354-2357
(domain exportPartnerInPeriod 1 AutonomousAgent) Economy.kif 2350-2350
(domain exportPartnerInPeriod 2 AutonomousAgent) Economy.kif 2351-2351
(domainSubclass exportPartnerInPeriod 3 TimeInterval) Economy.kif 2352-2352
(instance exportPartnerInPeriod TernaryPredicate) Economy.kif 2349-2349

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

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


(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2387-2392
(=>
    (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 2359-2367


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