connected |
appearance as argument number 1 |
![]() |
(documentation connected ChineseLanguage "(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。") | chinese_format.kif 2823-2824 | |
(documentation connected EnglishLanguage "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.") | Merge.kif 9404-9405 | |
(domain connected 1 Object) | Merge.kif 9401-9401 | The number 1 argument of connected is an instance of object |
(domain connected 2 Object) | Merge.kif 9402-9402 | The number 2 argument of connected is an instance of object |
(instance connected BinaryPredicate) | Merge.kif 9397-9397 | connected is an instance of binary predicate |
(instance connected ReflexiveRelation) | Merge.kif 9399-9399 | connected is an instance of reflexive relation |
(instance connected SpatialRelation) | Merge.kif 9398-9398 | connected is an instance of spatial relation |
(instance connected SymmetricRelation) | Merge.kif 9400-9400 | connected is an instance of symmetric relation |
appearance as argument number 2 |
![]() |
(disjointRelation crosses connected) | Merge.kif 4110-4110 | crosses and connected are disjoint |
(format ChineseLanguage connected "%1 和 %2 %n 是 connected") | chinese_format.kif 361-361 | |
(format EnglishLanguage connected "%1 is %n connected to %2") | english_format.kif 364-364 | |
(relatedInternalConcept meetsSpatially connected) | Merge.kif 9463-9463 | meets spatially is internally related to connected |
(subrelation connectedEngineeringComponents connected) | Merge.kif 15813-15813 | connected engineering components is a subrelation of connected |
(subrelation overlapsSpatially connected) | Merge.kif 9473-9473 | overlaps spatially is a subrelation of connected |
(termFormat ChineseLanguage connected "相连") | chinese_format.kif 362-362 | |
(termFormat ChineseLanguage connected "连接的") | domainEnglishFormat.kif 16629-16629 | |
(termFormat ChineseTraditionalLanguage connected "連接的") | domainEnglishFormat.kif 16628-16628 | |
(termFormat EnglishLanguage connected "connected") | domainEnglishFormat.kif 16627-16627 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |