| 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 | connectedDownstream の数値 1 引数は オブジェクト の instance では %n |
| (domain connectedDownstream 2 Object) | Geography.kif 5464-5464 | connectedDownstream の数値 2 引数は オブジェクト の instance では %n |
| (instance connectedDownstream BinaryPredicate) | Geography.kif 5462-5462 | connectedDownstream は 2進述語 の instance では %n |
| 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 16644-16644 | |
| (termFormat ChineseTraditionalLanguage connectedDownstream "連接下游") | domainEnglishFormat.kif 16643-16643 | |
| (termFormat EnglishLanguage connectedDownstream "connected downstream") | domainEnglishFormat.kif 16642-16642 |
|
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