TreeView Knowledge Base Browser - EngineCycle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EngineCycle

EngineCycle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 81-83
No TPTP formula. May not be expressible in strict first order.	Cars.kif 80-80	子類 EngineCycle and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 134-134	子類 FourStrokeEngineCycle and EngineCycle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 251-251	子類 TwoStrokeEngineCycle and EngineCycle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64822-64822

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1898-1917	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and maxCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1868-1887	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and minCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1943-1965	例 Process and EngineCycle 例發動機 and 內燃機例 Object and Piston 例 UnitOfMeasure and UnitOfLength 部分 Object and 發動機患者 Process and Object Process 是 located 在發動機 pistonStroke 發動機 and 測量 RealNumber and UnitOfMeasure TimeInterval TimeInterval, Physical, Physical and RealNumber 期間 TimeInterval and 何時 Process 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Object and Physical 持有期間 TimeInterval and 位於 Object and Physical 距離 Physical, Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber

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