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 2375-2377
(domain exportPartner 1 AutonomousAgent)	Economy.kif 2372-2372
(domain exportPartner 2 AutonomousAgent)	Economy.kif 2373-2373
(instance exportPartner BinaryPredicate)	Economy.kif 2369-2369
(instance exportPartner IrreflexiveRelation)	Economy.kif 2370-2370
(instance exportPartner PartialValuedRelation)	Economy.kif 2371-2371

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 22900-22900
(termFormat ChineseTraditionalLanguage exportPartner "出口夥伴")	domainEnglishFormat.kif 22899-22899
(termFormat EnglishLanguage exportPartner "export partner")	domainEnglishFormat.kif 22898-22898

antecedent

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

Economy.kif 2379-2385

consequent

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

Economy.kif 2387-2392

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

KB Term:			Term intersection

English Word: