Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  connectedDownstream

 Sigma KEE - connectedDownstream
connectedDownstream

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 连接下游 的 1 数量 是 客体 的 instance
(domain connectedDownstream 2 Object) Geography.kif 5464-5464 连接下游 的 2 数量 是 客体 的 instance
(instance connectedDownstream BinaryPredicate) Geography.kif 5462-5462 连接下游 是 二元谓语 的 instance

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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