| appearance as argument number 1 |
|
| (documentation connectedDownstream EnglishLanguage "(connectedDownstream ?OBJ1 ?OBJ2) means that ?OBJ1 is connected, remotely or immediately, with ?OBJ2 along a directed system such as a RiverSystem.") | Geography.kif 5536-5538 | |
| (domain connectedDownstream 1 Object) | Geography.kif 5533-5533 | The number 1 argument of connected downstream is an instance of object |
| (domain connectedDownstream 2 Object) | Geography.kif 5534-5534 | The number 2 argument of connected downstream is an instance of object |
| (instance connectedDownstream BinaryPredicate) | Geography.kif 5532-5532 | connected downstream is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage connectedDownstream "%2 %n 是 %1 的 connected 下游") | domainEnglishFormat.kif 532-532 | |
| (format ChineseTraditionalLanguage connectedDownstream "%2 %n 是 %1 的 connected 下游") | domainEnglishFormat.kif 531-531 | |
| (format EnglishLanguage connectedDownstream "%2 is %n a connected downstream of %1") | domainEnglishFormat.kif 530-530 | |
| (termFormat ChineseLanguage connectedDownstream "连接下游") | domainEnglishFormat.kif 16659-16659 | |
| (termFormat ChineseTraditionalLanguage connectedDownstream "連接下游") | domainEnglishFormat.kif 16658-16658 | |
| (termFormat EnglishLanguage connectedDownstream "connected downstream") | domainEnglishFormat.kif 16657-16657 |
|
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