importPartnerInPeriod - Sigma Knowledge base Browser

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 2852-2855
(domain importPartnerInPeriod 1 AutonomousAgent)	Economy.kif 2848-2848	The number 1 argument of import partner in period is an instance of agent
(domain importPartnerInPeriod 2 AutonomousAgent)	Economy.kif 2849-2849	The number 2 argument of import partner in period is an instance of agent
(domainSubclass importPartnerInPeriod 3 TimeInterval)	Economy.kif 2850-2850	The number 3 argument of import partner in period is a subclass of time interval
(instance importPartnerInPeriod TernaryPredicate)	Economy.kif 2846-2846	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 29471-29471
(termFormat ChineseTraditionalLanguage importPartnerInPeriod "期間的進口夥伴")	domainEnglishFormat.kif 29470-29470
(termFormat EnglishLanguage importPartnerInPeriod "import partner in period")	domainEnglishFormat.kif 29469-29469

antecedent

(<=> (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (importPartner ?AGENT1 ?AGENT2)))))	Economy.kif 2884-2889	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 (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT2) (destination ?EXPORT ?AGENT1))))	Economy.kif 2857-2865	If an agent import partner in period another agent for a kind of time interval, then there exist another time interval and a process such that the other time interval is an instance of a kind of time interval and the process is an instance of exporting and the time of existence of the process overlaps the other time interval and the process originates at the other agent and the process ends up at the agent

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