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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connects
connects

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2825-2827
No TPTP formula. May not be expressible in strict first order. Merge.kif 9533-9536
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1567-1569
No TPTP formula. May not be expressible in strict first order. Merge.kif 9529-9529 The number 1 argument of connects is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9530-9530 The number 2 argument of connects is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9531-9531 The number 3 argument of connects is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9527-9527 connects is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9528-9528 connects is an instance of ternary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 363-363
No TPTP formula. May not be expressible in strict first order. english_format.kif 366-366
No TPTP formula. May not be expressible in strict first order. french_format.kif 210-210
No TPTP formula. May not be expressible in strict first order. relations-it.txt 54-54
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2017-2017
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 162-162
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 88-88
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 217-217
No TPTP formula. May not be expressible in strict first order. relations-de.txt 483-483
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 95-95
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 230-230
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 227-227
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 124-124
No TPTP formula. May not be expressible in strict first order. Merge.kif 16157-16157 connects engineering components is a subrelation of connects
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 364-364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16661-16661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16660-16660
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 125-125

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2870-2876
No TPTP formula. May not be expressible in strict first order. Geography.kif 5305-5310
No TPTP formula. May not be expressible in strict first order. Merge.kif 9562-9564
No TPTP formula. May not be expressible in strict first order. Geography.kif 5288-5290
No TPTP formula. May not be expressible in strict first order. Merge.kif 9546-9552
No TPTP formula. May not be expressible in strict first order. Merge.kif 9538-9540

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9554-9560
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15097-15107
No TPTP formula. May not be expressible in strict first order. Merge.kif 12335-12341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5630-5639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15073-15085
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5132-5145
No TPTP formula. May not be expressible in strict first order. Geography.kif 5380-5395
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1745-1756
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1695-1706
No TPTP formula. May not be expressible in strict first order. Merge.kif 9542-9544
No TPTP formula. May not be expressible in strict first order. Merge.kif 9562-9564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11178-11184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15051-15057
No TPTP formula. May not be expressible in strict first order. Geography.kif 5599-5605
No TPTP formula. May not be expressible in strict first order. Geography.kif 5322-5328
No TPTP formula. May not be expressible in strict first order. Geography.kif 5498-5505
No TPTP formula. May not be expressible in strict first order. Geography.kif 5489-5496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15276-15284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11707-11715
No TPTP formula. May not be expressible in strict first order. Merge.kif 15090-15096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11327-11333
No TPTP formula. May not be expressible in strict first order. Geography.kif 4783-4789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9449-9455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3637-3648
No TPTP formula. May not be expressible in strict first order. Sports.kif 1246-1263

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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