engineeringSubcomponent - Sigma Knowledge base Browser

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 16214-16217
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16212-16212	域工程子組件, 1 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16213-16213	域工程子組件, 2 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16211-16211	例工程子組件 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16210-16210	子關係工程子組件 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 22123-22123
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22122-22122
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 214-214

antecedent

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 1347-1358

工程子組件 EngineeringComponent and 互聯網工程子組件 EngineeringComponent and 互聯網等於 EngineeringComponent and EngineeringComponent
有目的互聯網 and entity 例 entity and Communication agent entity and EngineeringComponent 目的地 entity and EngineeringComponent 儀器 entity and 互聯網

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1365-1371	例 Entity and InternetAccessPoint 例 Entity and Device 持有期間何時連接的工程組件 Entity and Entity and 工程子組件 Entity and 互聯網
No TPTP formula. May not be expressible in strict first order.	Communications.kif 142-151	那有 Integer communiation 衛星類型的衛星在 GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and 衛星例 entity and 通訊系統位於 entity and GeopoliticalArea 工程子組件 SymbolicString and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16235-16241	連接的工程組件 EngineeringComponent and EngineeringComponent 工程子組件 EngineeringComponent and EngineeringComponent 工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 492-494	例 EngineeringComponent and 互聯網服務提供商工程子組件 EngineeringComponent and 互聯網
No TPTP formula. May not be expressible in strict first order.	Communications.kif 125-130	例 EngineeringComponent and 通信衛星 EngineeringComponent 例 EngineeringComponent and 通訊系統工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 382-387	例 EngineeringComponent and 有線電視系統 EngineeringComponent 例 EngineeringComponent and 電視接收器工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 355-360	例 EngineeringComponent and 無線電系統 EngineeringComponent 例 EngineeringComponent and 無線電接收器工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 52-57	例 EngineeringComponent and 電話系統 EngineeringComponent 例 EngineeringComponent and 主要電話線工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 40-45	例 EngineeringComponent and 電話系統 EngineeringComponent 例 EngineeringComponent and 電話工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 432-437	例 EngineeringComponent and 電視系統 EngineeringComponent 例 EngineeringComponent and 電視接收器工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 371-376	例 EngineeringComponent and 電視系統 EngineeringComponent 例 EngineeringComponent and 電視台工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	例 EngineeringComponent and BabyMonitoringSystem EngineeringComponent EngineeringComponent 例 EngineeringComponent and 無線電接收器例 EngineeringComponent and Device 工程子組件 EngineeringComponent and EngineeringComponent 工程子組件 EngineeringComponent and EngineeringComponent 有目的 EngineeringComponent and entity entity, entity, entity, entity, entity and entity 例 entity and 人類寶貝例 entity and Human 位於 entity and entity 位於 entity and entity 等於 entity and entity 例 entity and Maintaining 患者 entity and entity agent entity and entity 位於 EngineeringComponent and entity 位於 EngineeringComponent and entity 例 entity and RadiatingSound entity 是 located 在 entity 例 entity and 無線電發射患者 entity and entity 目的地 entity and EngineeringComponent agent entity and EngineeringComponent

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 488-488	工程子組件互聯網服務提供商 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 368-368	工程子組件電視台 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