TreeView Knowledge Base Browser

appearance as argument number 1

(instance exportPartner BinaryPredicate)	Economy.kif 2604-2604	export partner is an instance of binary predicate
(instance exportPartner IrreflexiveRelation)	Economy.kif 2605-2605	export partner is an instance of irreflexive relation
(instance exportPartner PartialValuedRelation)	Economy.kif 2606-2606	export partner is an instance of partial valued relation
(domain exportPartner 1 AutonomousAgent)	Economy.kif 2607-2607	The number 1 argument of export partner is an instance of agent
(domain exportPartner 2 AutonomousAgent)	Economy.kif 2608-2608	The number 2 argument of export partner is an instance of agent
(documentation exportPartner EnglishLanguage "(exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2.")	Economy.kif 2610-2612	The number 2 argument of export partner is an instance of agent

appearance as argument number 2

(format EnglishLanguage exportPartner "%2 is %n an export partner of %1")	domainEnglishFormat.kif 949-949
(format ChineseTraditionalLanguage exportPartner "%2 %n 是 %1 的 export 夥伴")	domainEnglishFormat.kif 950-950
(format ChineseLanguage exportPartner "%2 %n 是 %1 的 export 伙伴")	domainEnglishFormat.kif 951-951
(termFormat EnglishLanguage exportPartner "export partner")	domainEnglishFormat.kif 22894-22894
(termFormat ChineseTraditionalLanguage exportPartner "出口夥伴")	domainEnglishFormat.kif 22895-22895
(termFormat ChineseLanguage exportPartner "出口伙伴")	domainEnglishFormat.kif 22896-22896

antecedent

(=>
    (exportPartner ?AGENT1 ?AGENT2)
    (exists (?EXPORT)
        (and
            (instance ?EXPORT Exporting)
            (origin ?EXPORT ?AGENT1)
            (destination ?EXPORT ?AGENT2))))

Economy.kif 2614-2620

If X is an export partner of Y, then there exists Z such that Z is an instance of exporting, Z originates at Y, and Z ends up at X

consequent

(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))

Economy.kif 2622-2627

X export partner in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is an export partner of X holds during W

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: