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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - connectedEngineeringComponents
connectedEngineeringComponents

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3643-3647
No TPTP formula. May not be expressible in strict first order. Merge.kif 16274-16282
No TPTP formula. May not be expressible in strict first order. Merge.kif 16272-16272 The number 1 argument of connected engineering components is an instance of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 16273-16273 The number 2 argument of connected engineering components is an instance of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 16269-16269 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16270-16270 connected engineering components is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16268-16268 connected engineering components is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16271-16271 connected engineering components is a subrelation of connected

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 541-541
No TPTP formula. May not be expressible in strict first order. english_format.kif 546-546
No TPTP formula. May not be expressible in strict first order. french_format.kif 318-318
No TPTP formula. May not be expressible in strict first order. relations-it.txt 53-53
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2086-2086
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 270-270
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 87-87
No TPTP formula. May not be expressible in strict first order. relations-de.txt 707-707
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 94-94
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 339-339
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 350-350
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 122-122
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 542-542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16659-16659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16658-16658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16657-16657
No TPTP formula. May not be expressible in strict first order. terms-de.txt 215-215
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 123-123

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3227-3241
No TPTP formula. May not be expressible in strict first order. Cars.kif 2914-2932
No TPTP formula. May not be expressible in strict first order. Cars.kif 2941-2957
No TPTP formula. May not be expressible in strict first order. Cars.kif 2893-2905
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27845-27858
No TPTP formula. May not be expressible in strict first order. Cars.kif 2098-2117
No TPTP formula. May not be expressible in strict first order. Merge.kif 16284-16290
No TPTP formula. May not be expressible in strict first order. Merge.kif 16323-16326
No TPTP formula. May not be expressible in strict first order. Merge.kif 16316-16321

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1376-1382
No TPTP formula. May not be expressible in strict first order. Cars.kif 1667-1675
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 577-586
No TPTP formula. May not be expressible in strict first order. Merge.kif 16328-16330
No TPTP formula. May not be expressible in strict first order. Cars.kif 2330-2364
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2608-2614
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3320-3333
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3578-3584
No TPTP formula. May not be expressible in strict first order. Cars.kif 1956-1964
No TPTP formula. May not be expressible in strict first order. Cars.kif 3347-3356
No TPTP formula. May not be expressible in strict first order. Cars.kif 2659-2665
No TPTP formula. May not be expressible in strict first order. Cars.kif 2695-2712
No TPTP formula. May not be expressible in strict first order. Cars.kif 3275-3287
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3796-3807
No TPTP formula. May not be expressible in strict first order. Cars.kif 1381-1397
No TPTP formula. May not be expressible in strict first order. Cars.kif 2277-2292
No TPTP formula. May not be expressible in strict first order. Cars.kif 4181-4185
No TPTP formula. May not be expressible in strict first order. Cars.kif 4031-4039
No TPTP formula. May not be expressible in strict first order. Cars.kif 4099-4105
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2873-2879


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