Compressing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Compressing

Compressing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1968-1969
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1966-1966	子類 Compressing and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 962-962	子類 Crushing and Compressing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1967-1967	子類 Crushing and Compressing

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	例 SelfConnectedObject and AutomobileShock 例 Process and Compressing 例 HoleRegion and HoleRegion attribute Object and 流體等於 SelfConnectedObject and 洞主持人 HoleRegion 包含 SelfConnectedObject and Object 患者 Process and SelfConnectedObject Transfer 例 Transfer and Transfer objectTransferred Transfer and Object 路徑 Transfer and HoleRegion 原因 Process and Transfer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 608-618	例 Process and CPR 例 Motion and Compressing 路徑 Motion and Object 子過程 Motion and Process length Object and 測量 RealNumber and 厘米比較多 RealNumber and 5.0 少於 RealNumber and 6.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1971-1983	例 Entity and SelfConnectedObject 例 Process and Compressing 患者 Process and Entity 持有期間不久的過去何時 Process and 測量 Entity and 測量 RealNumber and Entity 例 Entity and UnitOfVolume 持有期間眼前的未來何時 Process and 測量 Entity and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 969-978	例 Process and Crushing Process ProcessO and Entity 例 Process and Impacting 子過程 Process and Process 例 ProcessO and Compressing 患者 Process and Entity 患者 ProcessO and Entity 例 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 597-606	例 Process and CPR Process ProcessH and Object 例 Process and Compressing 患者 Process and Object 例 ProcessH and Chest 部分 ProcessH and Object 患者 Process and ProcessH 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5235-5243	例 Physical and GasCompressor 有目的 Physical and entity entity 例 entity and Compressing attribute entity and 加油站患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6010-6016	例 Physical and PressureBandage 有目的 Physical and entity 例 entity and Compressing 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2007-2027	例 Process and VaporCompressionCycle Process Process, Process and Process 例 Process and Compressing 例 Process and Condensing 例 Process and 蒸發例 Process and Compressing 子過程 Process and Process 子過程 Process and Process 子過程 Process and Process 子過程 Process and Process 短暫相遇何時 Process and 何時 Process 短暫相遇何時 Process and 何時 Process 短暫相遇何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3628-3638	例 Entity and 紙 Process Object and Process 例 Process and Making 例 Object and 纖維素例 Process and Compressing 資源 Process and Object 結果 Process and Entity 子過程 Process and Process 患者 Process and Object

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