TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation streamOutfall properPart)	Geography.kif 7285-7285	stream outfall is a subrelation of proper part
(instance streamOutfall BinaryPredicate)	Geography.kif 7286-7286	stream outfall is an instance of binary predicate
(domain streamOutfall 1 WaterArea)	Geography.kif 7287-7287	The number 1 argument of stream outfall is an instance of water area
(domain streamOutfall 2 River)	Geography.kif 7288-7288	The number 2 argument of stream outfall is an instance of river
(documentation streamOutfall EnglishLanguage "(streamOutfall ?WATER ?RIVER) means that the WaterArea ?MOUTH is the outfall of the River ?RIVER.")	Geography.kif 7290-7291	The number 2 argument of stream outfall is an instance of river

appearance as argument number 2

(format EnglishLanguage streamOutfall "%1 is the outfall of %2")	domainEnglishFormat.kif 4656-4656
(format ChineseTraditionalLanguage streamOutfall "%1 是 %2 的 outfall ")	domainEnglishFormat.kif 4657-4657
(format ChineseLanguage streamOutfall "%1 是 %2 的 outfall ")	domainEnglishFormat.kif 4658-4658
(termFormat EnglishLanguage streamOutfall "stream outfall")	domainEnglishFormat.kif 55567-55567
(termFormat ChineseTraditionalLanguage streamOutfall "流出口")	domainEnglishFormat.kif 55568-55568
(termFormat ChineseLanguage streamOutfall "流出口")	domainEnglishFormat.kif 55569-55569

antecedent

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

Geography.kif 7293-7299

If X is the outfall of Y, then there exists Z such that Z is an instance of water area, Z is a flows of Y, and X is connected to Z

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 7261-7270

If X is an instance of river, Y is an instance of body of water, and Y is a flows of X, then there exists Z such that Z is an instance of river mouth, Z is the outfall of X, and Z is connected to Y

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

KB Term:			Term intersection

English Word: