Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| streamOutfall |
| 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 |
|