TreeView Knowledge Base Browser

appearance as argument number 1

(documentation exportPartner EnglishLanguage "(exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2.")	Economy.kif 2615-2617
(domain exportPartner 1 AutonomousAgent)	Economy.kif 2612-2612
(domain exportPartner 2 AutonomousAgent)	Economy.kif 2613-2613
(instance exportPartner BinaryPredicate)	Economy.kif 2609-2609
(instance exportPartner IrreflexiveRelation)	Economy.kif 2610-2610
(instance exportPartner PartialValuedRelation)	Economy.kif 2611-2611

appearance as argument number 2

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

antecedent

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

Economy.kif 2619-2625

consequent

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

Economy.kif 2627-2632

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

KB Term:			Term intersection

English Word: