TreeView Knowledge Base Browser

appearance as argument number 1

(documentation streamOutfall EnglishLanguage "(streamOutfall ?WATER ?RIVER) means that the WaterArea ?MOUTH is the outfall of the River ?RIVER.")	Geography.kif 5690-5691
(domain streamOutfall 1 WaterArea)	Geography.kif 5687-5687	域流出口, 1 and WaterArea
(domain streamOutfall 2 River)	Geography.kif 5688-5688	域流出口, 2 and 河
(instance streamOutfall BinaryPredicate)	Geography.kif 5686-5686	例流出口 and BinaryPredicate
(subrelation streamOutfall properPart)	Geography.kif 5685-5685	子關係流出口 and 適當的部分

appearance as argument number 2

(format ChineseLanguage streamOutfall "%1 是 %2 的 outfall ")	domainEnglishFormat.kif 4654-4654
(format ChineseTraditionalLanguage streamOutfall "%1 是 %2 的 outfall ")	domainEnglishFormat.kif 4653-4653
(format EnglishLanguage streamOutfall "%1 is the outfall of %2")	domainEnglishFormat.kif 4652-4652
(termFormat ChineseLanguage streamOutfall "流出口")	domainEnglishFormat.kif 55572-55572
(termFormat ChineseTraditionalLanguage streamOutfall "流出口")	domainEnglishFormat.kif 55571-55571
(termFormat EnglishLanguage streamOutfall "stream outfall")	domainEnglishFormat.kif 55570-55570

antecedent

(=>
    (streamOutfall ?MOUTH ?RIVER)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (flows ?RIVER ?WATER)
            (connected ?MOUTH ?WATER))))

Geography.kif 5693-5699

WaterArea 是河的 outfall
Object 例 Object and WaterArea Object 是河的 flows 連接的 WaterArea and Object

consequent

(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))

Geography.kif 5661-5670

例河 and 河例 Object and 水體 Object 是河的 flows
WaterArea 例 WaterArea and 河口 WaterArea 是河的 outfall 連接的 WaterArea and Object

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

KB Term:			Term intersection

English Word: