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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - importPartnerInPeriod
importPartnerInPeriod

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


(documentation importPartnerInPeriod EnglishLanguage "(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) means that the Agent ?AGENT1 imports goods from the Agent ?AGENT2 during the TimeInterval indicated by ?PERIOD.") Economy.kif 2645-2648
(domain importPartnerInPeriod 1 Agent) Economy.kif 2641-2641 The number 1 argument of import partner in period is an instance of agent
(domain importPartnerInPeriod 2 Agent) Economy.kif 2642-2642 The number 2 argument of import partner in period is an instance of agent
(domainSubclass importPartnerInPeriod 3 TimeInterval) Economy.kif 2643-2643 The number 3 argument of import partner in period is a subclass of time interval
(instance importPartnerInPeriod TernaryPredicate) Economy.kif 2639-2639 import partner in period is an instance of ternary predicate

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 29347-29347 "期间的进口伙伴" is the printable form of import partner in period in ChineseLanguage
(termFormat ChineseTraditionalLanguage importPartnerInPeriod "期間的進口夥伴") domainEnglishFormat.kif 29346-29346 "期間的進口夥伴" is the printable form of import partner in period in ChineseTraditionalLanguage
(termFormat EnglishLanguage importPartnerInPeriod "import partner in period") domainEnglishFormat.kif 29345-29345 "import partner in period" is the printable form of import partner in period in english language

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


(<=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (importPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2677-2682 An agent import partner in period another agent for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the other agent is an import partner of the agent holds during the time position
(=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME ?EXPORT)
        (and
            (instance ?TIME ?PERIOD)
            (instance ?EXPORT Exporting)
            (overlapsTemporally ?TIME ?EXPORT)
            (origin ?EXPORT ?AGENT2)
            (destination ?EXPORT ?AGENT1))))
Economy.kif 2650-2658


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners