connected |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2823-2824 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9410-9411 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9407-9407 | The number 1 argument of connected is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9408-9408 | The number 2 argument of connected is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9403-9403 | connected is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9405-9405 | connected is an instance of reflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9404-9404 | connected is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9406-9406 | connected is an instance of symmetric relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4116-4116 | crosses and connected are disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 361-361 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 364-364 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9469-9469 | meets spatially is internally related to connected |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15826-15826 | connected engineering components is a subrelation of connected |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9479-9479 | overlaps spatially is a subrelation of connected |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 362-362 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16629-16629 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16628-16628 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16627-16627 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9419-9424 | An object is an instance of self connected object if and only if for all another object and a third object
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16835-16839 | An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 514-518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11449-11459 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12128-12135 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12176-12183 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 690-700 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10159-10169 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10119-10129 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2956-2964 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5558-5567 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11324-11331 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3494-3503 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9968-9972 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2657-2673 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 383-396 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 403-416 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9961-9966 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9445-9451 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23708-23715 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5340-5342 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9848-9850 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14834-14839 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5027-5034 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5130-5135 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5067-5067 | Gulf of aden is connected to arabian sea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5075-5075 | GulfOfMexico is connected to caribbean sea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5074-5074 | GulfOfMexico is connected to north atlantic ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5059-5059 | Gulf of oman is connected to arabian sea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4530-4530 | Indian ocean is connected to persian gulf |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4529-4529 | Indian ocean is connected to south pacific ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4531-4531 | Indian ocean is connected to southern ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 744-744 | Mississippi river is connected to GulfOfMexico |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5052-5052 | Persian gulf is connected to strait of hormuz |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5066-5066 | Red sea is connected to gulf of aden |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5058-5058 | Strait of hormuz is connected to gulf of oman |
![]() |
![]() |