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 AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2 during the TimeInterval indicated by ?PERIOD.") Economy.kif 2642-2645
(domain importPartnerInPeriod 1 AutonomousAgent) Economy.kif 2638-2638 O argumento numero 1 de importPartnerInPeriod e' uma instancia de AutonomousAgent
(domain importPartnerInPeriod 2 AutonomousAgent) Economy.kif 2639-2639 O argumento numero 2 de importPartnerInPeriod e' uma instancia de AutonomousAgent
(domainSubclass importPartnerInPeriod 3 TimeInterval) Economy.kif 2640-2640 O argumento numero 3 de importPartnerInPeriod e' uma sub-classe de Intervalo Temporal
(instance importPartnerInPeriod TernaryPredicate) Economy.kif 2636-2636 importPartnerInPeriod e' uma instancia de Predicado Ternario

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 29443-29443
(termFormat ChineseTraditionalLanguage importPartnerInPeriod "期間的進口夥伴") domainEnglishFormat.kif 29442-29442
(termFormat EnglishLanguage importPartnerInPeriod "import partner in period") domainEnglishFormat.kif 29441-29441

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


(<=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (importPartner ?AGENT1 ?AGENT2)))))		 Economy.kif 2674-2679 importPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartner AutonomousAgent and AutonomousAgent vale durante Posicao Temporal
(=>
    (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 2647-2655


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