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 Die Zahl 1 Argument von exportPartnerInPeriod ist ein fall von AutonomousAgent %n{nicht}
(domain exportPartnerInPeriod 2 AutonomousAgent) Economy.kif 2351-2351 Die Zahl 2 Argument von exportPartnerInPeriod ist ein fall von AutonomousAgent %n{nicht}
(domainSubclass exportPartnerInPeriod 3 TimeInterval) Economy.kif 2352-2352 Die Zahl 3 Argument von exportPartnerInPeriod ist eine teilkategorie von TimeInterval %n{nicht}
(instance exportPartnerInPeriod TernaryPredicate) Economy.kif 2349-2349 exportPartnerInPeriod ist ein fall von TernaryPredicate %n{nicht}

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 ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und exportPartner ** AutonomousAgent and ** ** AutonomousAgent haelt waehrend ** TimePosition %n{nicht}
(=>
    (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