| 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 5466-5468 | |
| (domain connectedDownstream 1 Object) | Geography.kif 5463-5463 | The number 1 argument of connected downstream is an instance of object |
| (domain connectedDownstream 2 Object) | Geography.kif 5464-5464 | The number 2 argument of connected downstream is an instance of object |
| (instance connectedDownstream BinaryPredicate) | Geography.kif 5462-5462 | 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 16660-16660 | |
| (termFormat ChineseTraditionalLanguage connectedDownstream "連接下游") | domainEnglishFormat.kif 16659-16659 | |
| (termFormat EnglishLanguage connectedDownstream "connected downstream") | domainEnglishFormat.kif 16658-16658 |
|
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