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 14979-14987
No TPTP formula. May not be expressible in strict first order. Merge.kif 14977-14977 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 14978-14978 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 14974-14974 connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14975-14975 connected engineering components is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14973-14973 connected engineering components is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14976-14976 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 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. Merge.kif 15028-15031 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 3205-3219
No TPTP formula. May not be expressible in strict first order. Cars.kif 2944-2962
No TPTP formula. May not be expressible in strict first order. Cars.kif 2971-2987
No TPTP formula. May not be expressible in strict first order. Cars.kif 2923-2935
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22160-22173
No TPTP formula. May not be expressible in strict first order. Cars.kif 2128-2147
No TPTP formula. May not be expressible in strict first order. Merge.kif 14989-14995
No TPTP formula. May not be expressible in strict first order. Merge.kif 15021-15026

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1330-1336
No TPTP formula. May not be expressible in strict first order. Cars.kif 1674-1682
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 2360-2394
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2567-2573
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3298-3311
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3554-3560
No TPTP formula. May not be expressible in strict first order. Cars.kif 1986-1994
No TPTP formula. May not be expressible in strict first order. Cars.kif 3300-3309
No TPTP formula. May not be expressible in strict first order. Cars.kif 2689-2695
No TPTP formula. May not be expressible in strict first order. Cars.kif 2725-2742
No TPTP formula. May not be expressible in strict first order. Cars.kif 3228-3240
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3772-3783
No TPTP formula. May not be expressible in strict first order. Cars.kif 1395-1411
No TPTP formula. May not be expressible in strict first order. Cars.kif 2307-2322
No TPTP formula. May not be expressible in strict first order. Cars.kif 4136-4140
No TPTP formula. May not be expressible in strict first order. Cars.kif 3986-3994
No TPTP formula. May not be expressible in strict first order. Cars.kif 4054-4060
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2832-2838


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