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

Formal Language: 



KB Term:  Term intersection
English Word: 

  connectsEngineeringComponents

Sigma KEE - connectsEngineeringComponents
connectsEngineeringComponents

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4056-4060
No TPTP formula. May not be expressible in strict first order. Merge.kif 16162-16168
No TPTP formula. May not be expressible in strict first order. Merge.kif 16159-16159 The number 1 argument of connects engineering components is an instance of engineering connection
No TPTP formula. May not be expressible in strict first order. Merge.kif 16160-16160 The number 2 argument of connects engineering components is an instance of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 16161-16161 The number 3 argument of connects engineering components is an instance of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 16158-16158 connects engineering components is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16157-16157 connects engineering components is a subrelation of connects

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 543-543
No TPTP formula. May not be expressible in strict first order. english_format.kif 548-548
No TPTP formula. May not be expressible in strict first order. french_format.kif 319-319
No TPTP formula. May not be expressible in strict first order. relations-it.txt 55-55
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2087-2087
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 271-271
No TPTP formula. May not be expressible in strict first order. relations-de.txt 710-710
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 96-96
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 340-340
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 352-352
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 89-89
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 544-544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16668-16668
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16667-16667
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16666-16666
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 127-127

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1392-1396
No TPTP formula. May not be expressible in strict first order. Merge.kif 16152-16155

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16147-16150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25977-25986
No TPTP formula. May not be expressible in strict first order. Merge.kif 16135-16138
No TPTP formula. May not be expressible in strict first order. Communications.kif 78-87
No TPTP formula. May not be expressible in strict first order. Communications.kif 95-107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25919-25927
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1378-1385
No TPTP formula. May not be expressible in strict first order. Communications.kif 64-71


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