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 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9623-9628
No TPTP formula. May not be expressible in strict first order. Merge.kif 9453-9459
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 12151-12165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10089-10105
No TPTP formula. May not be expressible in strict first order. Geography.kif 5228-5233
No TPTP formula. May not be expressible in strict first order. Merge.kif 12199-12208
No TPTP formula. May not be expressible in strict first order. Merge.kif 17626-17636
No TPTP formula. May not be expressible in strict first order. Geography.kif 5278-5293
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. Merge.kif 9653-9659
No TPTP formula. May not be expressible in strict first order. Merge.kif 9638-9643
No TPTP formula. May not be expressible in strict first order. Merge.kif 9413-9417

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


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