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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exportPartnerInPeriod

 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 Le nombre 1 argument de exportPartnerInPeriod est une instance de AutonomousAgent
(domain exportPartnerInPeriod 2 AutonomousAgent) Economy.kif 2351-2351 Le nombre 2 argument de exportPartnerInPeriod est une instance de AutonomousAgent
(domainSubclass exportPartnerInPeriod 3 TimeInterval) Economy.kif 2352-2352 Le nombre 3 argument de exportPartnerInPeriod est une sous-classe de interval temporel
(instance exportPartnerInPeriod TernaryPredicate) Economy.kif 2349-2349 exportPartnerInPeriod est une instance de pr�dicat ternaire

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 AutonomousAgent, AutonomousAgent and interval temporel position temporel position temporel est une instance de interval temporel exportPartner AutonomousAgent and AutonomousAgent pendant position temporel
(=>
    (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 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