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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connected
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 8824-8825
No TPTP formula. May not be expressible in strict first order. Merge.kif 8821-8821 The number 1 argument of connected is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8822-8822 The number 2 argument of connected is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8817-8817 connected is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8819-8819 connected is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8818-8818 connected is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8820-8820 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 3927-3927 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 367-367
No TPTP formula. May not be expressible in strict first order. Merge.kif 8871-8871 meets spatially is internally related to connected
No TPTP formula. May not be expressible in strict first order. Merge.kif 14812-14812 connected engineering components is a subrelation of connected
No TPTP formula. May not be expressible in strict first order. Geography.kif 5113-5113 flows is a subrelation of connected
No TPTP formula. May not be expressible in strict first order. Merge.kif 8880-8880 overlaps spatially is a subrelation of connected
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 362-362 "相连" is the printable form of connected in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16567-16567 "连接的" is the printable form of connected in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16566-16566 "連接的" is the printable form of connected in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16565-16565 "connected" is the printable form of connected in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9006-9011
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. Geography.kif 5008-5013
No TPTP formula. May not be expressible in strict first order. Geography.kif 5058-5073
No TPTP formula. May not be expressible in strict first order. Merge.kif 9343-9347
No TPTP formula. May not be expressible in strict first order. Merge.kif 9036-9042
No TPTP formula. May not be expressible in strict first order. Merge.kif 9021-9026
No TPTP formula. May not be expressible in strict first order. Merge.kif 8827-8831

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8855-8861 An object connects another object and a third object if and only if the object is connected to the other object and the object is connected to the third object and the other object is not connected to the third object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8833-8838 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 15799-15803 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. Merge.kif 11364-11371
No TPTP formula. May not be expressible in strict first order. Merge.kif 11389-11396
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. Transportation.kif 2918-2926
No TPTP formula. May not be expressible in strict first order. Geography.kif 5338-5347
No TPTP formula. May not be expressible in strict first order. Merge.kif 10584-10591
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4072-4081
No TPTP formula. May not be expressible in strict first order. Merge.kif 9343-9347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3158-3174
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 9336-9341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22031-22038
No TPTP formula. May not be expressible in strict first order. Geography.kif 5119-5121
No TPTP formula. May not be expressible in strict first order. Merge.kif 9223-9225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13050-13055
No TPTP formula. May not be expressible in strict first order. Geography.kif 4807-4814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10033-10038
No TPTP formula. May not be expressible in strict first order. Geography.kif 4910-4915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12185-12191
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 829-834

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 4847-4847 Gulf of aden is connected to arabian sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4855-4855 GulfOfMexico is connected to caribbean sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4854-4854 GulfOfMexico is connected to north atlantic ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4839-4839 Gulf of oman is connected to arabian sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4361-4361 Indian ocean is connected to persian gulf
No TPTP formula. May not be expressible in strict first order. Geography.kif 4360-4360 Indian ocean is connected to south pacific ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4362-4362 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 4832-4832 Persian gulf is connected to strait of hormuz
No TPTP formula. May not be expressible in strict first order. Geography.kif 4846-4846 Red sea is connected to gulf of aden
No TPTP formula. May not be expressible in strict first order. Geography.kif 4838-4838 Strait of hormuz is connected to gulf of oman


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners