| 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 | Die Zahl 1 Argument von streamOutfall ist ein fall von WaterArea %n{nicht} |
| (domain streamOutfall 2 River) | Geography.kif 5688-5688 | Die Zahl 2 Argument von streamOutfall ist ein fall von River %n{nicht} |
| (instance streamOutfall BinaryPredicate) | Geography.kif 5686-5686 | streamOutfall ist ein fall von BinaryPredicate %n{nicht} |
| (subrelation streamOutfall properPart) | Geography.kif 5685-5685 | streamOutfall ist eine teilrelation von korrektesTeil |
| 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 |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners