TreeView Knowledge Base Browser

appearance as argument number 1

(documentation importPartner EnglishLanguage "(importPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2.")	Economy.kif 3000-3001
(domain importPartner 1 AutonomousAgent)	Economy.kif 2997-2997
(domain importPartner 2 AutonomousAgent)	Economy.kif 2998-2998
(instance importPartner BinaryPredicate)	Economy.kif 2994-2994
(instance importPartner IrreflexiveRelation)	Economy.kif 2995-2995
(instance importPartner PartialValuedRelation)	Economy.kif 2996-2996

appearance as argument number 2

(format ChineseLanguage importPartner "%2 %n 是 %1 的 import 伙伴")	domainEnglishFormat.kif 1261-1261
(format ChineseTraditionalLanguage importPartner "%2 %n 是 %1 的 import 夥伴")	domainEnglishFormat.kif 1260-1260
(format EnglishLanguage importPartner "%2 is %n an import partner of %1")	domainEnglishFormat.kif 1259-1259
(termFormat ChineseLanguage importPartner "进口伙伴")	domainEnglishFormat.kif 29424-29424
(termFormat ChineseTraditionalLanguage importPartner "進口夥伴")	domainEnglishFormat.kif 29423-29423
(termFormat EnglishLanguage importPartner "import partner")	domainEnglishFormat.kif 29422-29422

antecedent

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

Economy.kif 3003-3009

consequent

(<=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (importPartner ?AGENT1 ?AGENT2)))))

Economy.kif 3011-3016

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

KB Term:			Term intersection

English Word: