Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| tributary |
| appearance as argument number 1 |
|
| (instance tributary BinaryPredicate) | Geography.kif 7034-7034 | tributary is an instance of binary predicate |
| (documentation tributary EnglishLanguage "A Relation between two areas of Fluid where one flows into the other and the first argument is an area of smaller width or flow rate.") | Geography.kif 7035-7036 | tributary is an instance of binary predicate |
| (domain tributary 1 Physical) | Geography.kif 7037-7037 | The number 1 argument of tributary is an instance of physical |
| (domain tributary 2 Physical) | Geography.kif 7038-7038 | The number 2 argument of tributary is an instance of physical |
| (subrelation tributary flows) | Geography.kif 7039-7039 | tributary is a subrelation of flows |
| appearance as argument number 2 |
|
|
|