Electricity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Electricity

Electricity(電力)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2557-2561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4673-4673
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2556-2556	子類電力 and Substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5725-5725	電力是發電的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21582-21582
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21581-21581
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21580-21580

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3901-3911	例 Object and Electromagnet 例 Transfer and Transfer 例 Object and 電力 objectTransferred Transfer and Object 路徑 Transfer and Object Process 例 Process and 磁儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3913-3929	例 Entity and Electromagnet 持有期間 TimePosition and entity entity 例 entity and Transfer 例 entity and 電力 objectTransferred entity and entity 路徑 entity and Entity 持有期間 TimePosition and entity 例 entity and 磁儀器 entity and Entity
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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2546-2554	例 Object and 電器例 Process and Process 儀器 Process and Object Object 例 Object and 電力資源 Process and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	例 Collection and Organization attribute Collection and 計算機和電子產品製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and 電腦例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 5421-5443	例 Collection and Organization attribute Collection and 電氣設備器具和元件製造 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1194-1202	例 Physical and Generator 有目的 Physical and entity entity 例 entity and Process 例 entity and 電力結果 entity and entity 儀器 entity and Physical
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 424-432	例 Process and Spark Entity Object 例 Entity and 電力患者 Process and Entity 例 Object and Substance attribute Object and 加油站 Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 882-901	例 Physical and 轉換開關有目的 Physical and entity entity, entity and entity 例 entity and Process 例 entity and 能量源例 entity and 能量源例 entity and 電力儀器 entity and Physical 持有期間開始何時 entity and 起源 entity and entity 持有期間結束何時 entity and 起源 entity and entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26364-26372	能量源的 voltage 是 PhysicalQuantity Physical Process 例 Physical and 電力例 Process and Process 儀器 Process and 能量源結果 Process and Physical 測量 Physical and PhysicalQuantity
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 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