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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - engineeringSubcomponent
engineeringSubcomponent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3640-3642
No TPTP formula. May not be expressible in strict first order. Merge.kif 16087-16090
No TPTP formula. May not be expressible in strict first order. Merge.kif 16085-16085 工程子組件, 1 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16086-16086 工程子組件, 2 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16084-16084 工程子組件 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16083-16083 子關係 工程子組件 and 適當的部分

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 539-539
No TPTP formula. May not be expressible in strict first order. english_format.kif 544-544
No TPTP formula. May not be expressible in strict first order. french_format.kif 317-317
No TPTP formula. May not be expressible in strict first order. relations-it.txt 94-94
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2085-2085
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 269-269
No TPTP formula. May not be expressible in strict first order. relations-de.txt 704-704
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 134-134
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 338-338
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 349-349
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 203-203
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 540-540
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22113-22113
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22112-22112

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1365-1371
No TPTP formula. May not be expressible in strict first order. Communications.kif 142-151
No TPTP formula. May not be expressible in strict first order. Merge.kif 16108-16114
No TPTP formula. May not be expressible in strict first order. Communications.kif 447-449
No TPTP formula. May not be expressible in strict first order. Communications.kif 125-130
No TPTP formula. May not be expressible in strict first order. Communications.kif 337-342
No TPTP formula. May not be expressible in strict first order. Communications.kif 310-315
No TPTP formula. May not be expressible in strict first order. Communications.kif 52-57
No TPTP formula. May not be expressible in strict first order. Communications.kif 40-45
No TPTP formula. May not be expressible in strict first order. Communications.kif 387-392
No TPTP formula. May not be expressible in strict first order. Communications.kif 326-331
No TPTP formula. May not be expressible in strict first order. Communications.kif 258-284

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Communications.kif 294-294 工程子組件 AM廣播電台 and 無線電系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 220-220 工程子組件 電台 and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 299-299 工程子組件 調頻廣播電台 and 無線電系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 443-443 工程子組件 互聯網服務提供商 and 互聯網
No TPTP formula. May not be expressible in strict first order. Communications.kif 289-289 工程子組件 廣播電台 and 無線電系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 304-304 工程子組件 短波電台 and 無線電系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 323-323 工程子組件 電視台 and 電視系統


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