streamOutfall |
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 | Il numero 1 argomenti di streamOutfall è un istanza di SuperficieAcquatica |
(domain streamOutfall 2 River) | Geography.kif 5688-5688 | Il numero 2 argomenti di streamOutfall è un istanza di River |
(instance streamOutfall BinaryPredicate) | Geography.kif 5686-5686 | streamOutfall è un' istanza di PredicatoBinario |
(subrelation streamOutfall properPart) | Geography.kif 5685-5685 | streamOutfall è una sottorelazione di properPart |
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 55574-55574 | |
(termFormat ChineseTraditionalLanguage streamOutfall "流出口") | domainEnglishFormat.kif 55573-55573 | |
(termFormat EnglishLanguage streamOutfall "stream outfall") | domainEnglishFormat.kif 55572-55572 |
antecedent |
(=> (streamOutfall ?MOUTH ?RIVER) (exists (?WATER) (and (instance ?WATER WaterArea) (flows ?RIVER ?WATER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5693-5699 |
|
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 |
|