TreeView Knowledge Base Browser - ElectricTransmission

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ElectricTransmission

Sigma KEE - ElectricTransmission

ElectricTransmission

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2391-2394
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2389-2389	子類 ElectricTransmission and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2388-2388	子類 ElectricTransmission and Transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2403-2403	子類 Charging and ElectricTransmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2425-2425	子類 Discharging and ElectricTransmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 418-418	子類 Spark and ElectricTransmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2390-2390

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3163-3173	例 Object and IgnitionCoil 例 Process and ElectricTransmission 資源 Process and Object 例 Object and 電力例 Entity and 電力結果 Process and Entity 儀器 Process and Object 測量 Object and 測量 RealNumber and 伏特 approximateValue RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2396-2401	例 Transfer and ElectricTransmission Object 例 Object and 電力 objectTransferred Transfer and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2508-2516	例 Physical and Electrolyte 有目的 Physical and PhysicalT 例 PhysicalT and ElectricTransmission 患者 PhysicalT and Physical 持有期間 PhysicalT and attribute Physical and 液體
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3151-3161	例 Physical and IgnitionCoil 有目的 Physical and entity entity and entity 例 entity and ElectricTransmission 資源 entity and entity 例 entity and 電力例 entity and 電力結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3175-3183	例 Physical and IgnitionCoil 有目的 Physical and entity entity 例 entity and ElectricTransmission 儀器 entity and Physical 例 entity and Spark 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31250-31259	voltageRatingPrimary 變壓器 and FunctionQuantity Object Transfer, Object and Object 部分 Object and 變壓器例 Transfer and ElectricTransmission 目的地 Transfer and Object objectTransferred Transfer and Object 例 Object and 電力測量 Object and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31292-31301	voltageRatingSecondary 變壓器 and FunctionQuantity Object Transfer and Object 部分 Object and 變壓器例 Transfer and ElectricTransmission 起源 Transfer and Object objectTransferred Transfer and Object 例 Object and 電力測量 Object and FunctionQuantity

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