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 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 EnglishLanguage exportPartnerInPeriod "%1 %n{doesn't} export partner in period %2 for %3") domainEnglishFormat.kif 251-251
(termFormat EnglishLanguage exportPartnerInPeriod "export partner in period") domainEnglishFormat.kif 4243-4243

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