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 16184-16190
No TPTP formula. May not be expressible in strict first order. Merge.kif 16181-16181 域 連接工程組件, 1 and EngineeringConnection
No TPTP formula. May not be expressible in strict first order. Merge.kif 16182-16182 域 連接工程組件, 2 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16183-16183 域 連接工程組件, 3 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16180-16180 例 連接工程組件 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16179-16179 子關係 連接工程組件 and 連接

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 16174-16177

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16169-16172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25965-25974
No TPTP formula. May not be expressible in strict first order. Merge.kif 16157-16160
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 25907-25915
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