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 8948-8949
No TPTP formula. May not be expressible in strict first order. Merge.kif 8945-8945 The number 1 argument of connected is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8946-8946 The number 2 argument of connected is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8941-8941 connected is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8943-8943 connected is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8942-8942 connected is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8944-8944 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 4048-4048 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 8995-8995 meets spatially is internally related to connected
No TPTP formula. May not be expressible in strict first order. Merge.kif 14930-14930 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 9004-9004 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 16561-16561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16560-16560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16559-16559

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9130-9135
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 9467-9471
No TPTP formula. May not be expressible in strict first order. Merge.kif 9160-9166
No TPTP formula. May not be expressible in strict first order. Merge.kif 9145-9150
No TPTP formula. May not be expressible in strict first order. Merge.kif 8951-8955

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8979-8985 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 8957-8962 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 15919-15923 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 11485-11492
No TPTP formula. May not be expressible in strict first order. Merge.kif 11510-11517
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 2927-2935
No TPTP formula. May not be expressible in strict first order. Geography.kif 5337-5346
No TPTP formula. May not be expressible in strict first order. Merge.kif 10705-10712
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4087
No TPTP formula. May not be expressible in strict first order. Merge.kif 9467-9471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3164-3180
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 9460-9465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22068-22075
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 9347-9349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13076-13081
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 10028-10033
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 12211-12217
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 3.0 is open source software produced by Articulate Software and its partners