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 2663-2664
(domain importPartner 1 AutonomousAgent)	Economy.kif 2660-2660	域進口夥伴, 1 and AutonomousAgent
(domain importPartner 2 AutonomousAgent)	Economy.kif 2661-2661	域進口夥伴, 2 and AutonomousAgent
(instance importPartner BinaryPredicate)	Economy.kif 2657-2657	例進口夥伴 and BinaryPredicate
(instance importPartner IrreflexiveRelation)	Economy.kif 2658-2658	例進口夥伴 and IrreflexiveRelation
(instance importPartner PartialValuedRelation)	Economy.kif 2659-2659	例進口夥伴 and PartialValuedRelation

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 29413-29413
(termFormat ChineseTraditionalLanguage importPartner "進口夥伴")	domainEnglishFormat.kif 29412-29412
(termFormat EnglishLanguage importPartner "import partner")	domainEnglishFormat.kif 29411-29411

antecedent

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

Economy.kif 2666-2672

AutonomousAgent 是 AutonomousAgent 的 import 夥伴
Process 例 Process and 出口起源 Process and AutonomousAgent 目的地 Process and AutonomousAgent

consequent

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

Economy.kif 2674-2679

AutonomousAgent 對於 TimeInterval 在週期 AutonomousAgent import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent 是 AutonomousAgent 的 import 夥伴

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

KB Term:			Term intersection

English Word: