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

Formal Language: 



KB Term:  Term intersection
English Word: 

  connectedEngineeringComponents

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 15816-15824
No TPTP formula. May not be expressible in strict first order. Merge.kif 15814-15814 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 15815-15815 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 15811-15811 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15812-15812 connected engineering components is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15810-15810 connected engineering components is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15813-15813 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. chinese_format.kif 542-542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16641-16641
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16640-16640
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16639-16639

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3197-3211
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2948
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2973
No TPTP formula. May not be expressible in strict first order. Cars.kif 2909-2921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25314-25327
No TPTP formula. May not be expressible in strict first order. Cars.kif 2114-2133
No TPTP formula. May not be expressible in strict first order. Merge.kif 15826-15832
No TPTP formula. May not be expressible in strict first order. Merge.kif 15865-15868
No TPTP formula. May not be expressible in strict first order. Merge.kif 15858-15863

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1343-1349
No TPTP formula. May not be expressible in strict first order. Cars.kif 1660-1668
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 15870-15873
No TPTP formula. May not be expressible in strict first order. Cars.kif 2346-2380
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2576-2582
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3290-3303
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3546-3552
No TPTP formula. May not be expressible in strict first order. Cars.kif 1972-1980
No TPTP formula. May not be expressible in strict first order. Cars.kif 3286-3295
No TPTP formula. May not be expressible in strict first order. Cars.kif 2675-2681
No TPTP formula. May not be expressible in strict first order. Cars.kif 2711-2728
No TPTP formula. May not be expressible in strict first order. Cars.kif 3214-3226
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3764-3775
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 2293-2308
No TPTP formula. May not be expressible in strict first order. Cars.kif 4123-4127
No TPTP formula. May not be expressible in strict first order. Cars.kif 3973-3981
No TPTP formula. May not be expressible in strict first order. Cars.kif 4041-4047
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2841-2847


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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