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 14933-14941
No TPTP formula. May not be expressible in strict first order. Merge.kif 14931-14931 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 14932-14932 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 14928-14928 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14929-14929 connected engineering components is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14927-14927 connected engineering components is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14930-14930 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 549-549
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 16573-16573
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16572-16572
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16571-16571

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14982-14985 An engineering component is connected to another engineering component if and only if there exists an engineering connection such that the engineering connection connects the engineering component and the other engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3217-3231
No TPTP formula. May not be expressible in strict first order. Cars.kif 2909-2925
No TPTP formula. May not be expressible in strict first order. Cars.kif 2934-2948
No TPTP formula. May not be expressible in strict first order. Cars.kif 2890-2900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23971-23984
No TPTP formula. May not be expressible in strict first order. Cars.kif 2101-2120
No TPTP formula. May not be expressible in strict first order. Merge.kif 14943-14949
No TPTP formula. May not be expressible in strict first order. Merge.kif 14975-14980

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1316-1322
No TPTP formula. May not be expressible in strict first order. Cars.kif 1656-1664
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 605-614
No TPTP formula. May not be expressible in strict first order. Cars.kif 2333-2367
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2575-2581
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3310-3323
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3570-3576
No TPTP formula. May not be expressible in strict first order. Cars.kif 1959-1967
No TPTP formula. May not be expressible in strict first order. Cars.kif 3261-3270
No TPTP formula. May not be expressible in strict first order. Cars.kif 2660-2666
No TPTP formula. May not be expressible in strict first order. Cars.kif 2696-2713
No TPTP formula. May not be expressible in strict first order. Cars.kif 3189-3201
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3774-3785
No TPTP formula. May not be expressible in strict first order. Cars.kif 1377-1393
No TPTP formula. May not be expressible in strict first order. Cars.kif 2280-2295
No TPTP formula. May not be expressible in strict first order. Cars.kif 4094-4098
No TPTP formula. May not be expressible in strict first order. Cars.kif 3944-3952
No TPTP formula. May not be expressible in strict first order. Cars.kif 4012-4018
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2844-2850


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