UnitOfVolume - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UnitOfVolume

UnitOfVolume

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2413-2414
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6276-6278
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1100-1101
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6274-6274	子類 UnitOfVolume and CompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14553-14553	例立方英尺 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7244-7244	例杯子 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3092-3092	例 FEU and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14605-14605	例酒射擊 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6760-6760	例升 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7253-7253	例盎司 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7235-7235	例品脫 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7226-7226	例夸脫 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14590-14590	例註冊表噸 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3067-3067	例 TEU and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7262-7262	例英國加侖 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7216-7216	例美國加侖 and UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65685-65685	例美國加侖 and UnitOfVolume

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19037-19048	SelfConnectedObject 的 approximate diameter 是測量 RealNumber and RealNumberM Object 的 radius 是測量部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6367-6371	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfVolume 例 PhysicalQuantity and VolumeMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10951-10974	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10921-10942	例 Object and Diuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2795-2814	例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object 例 Entity and 汽油例 Entity and UnitOfVolume 持有期間 TimePosition and 包含 Object and Entity 測量 Entity and 測量 entity and Entity attribute Object and EngineFlooded 有目的 Object and Entity entity 例 Entity and 汽油包含 Object and Entity 測量 Entity and 測量 entity and Entity 大於或等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1882-1901	例 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 1852-1871	例 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.	Food.kif 2969-2986	例 Object and OnePercentMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 0.01 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	例 Object and SemiSkimmedMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.015 and RealNumber 小於或等於 RealNumber and 乘法 0.02 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	例 Object and SkimmedMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.0 and RealNumber 小於或等於 RealNumber and 乘法 0.005 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	例 Object and TwoPercentMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 0.02 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	例 Object and WholeMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.0325 and RealNumber 小於或等於 RealNumber and 乘法 0.05 and RealNumber
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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2677-2690	例 Process and 侵蝕例 Physical and 土地形式患者 Process and Physical 例 UnitOfMeasure and UnitOfVolume 測量 Physical and 測量 RealNumber and UnitOfMeasure 持有期間眼前的未來何時 Process and entity 測量 Physical and 測量 entity and UnitOfMeasure 少於 entity and RealNumber

consequent

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

Cars.kif 3667-3683

例 Physical and Inflating
Object Object, RealNumber, RealNumber, Class and Entity 例 Object and Class 例 Object and Class 例 Class and Substance attribute Object and 加油站 attribute Object and 加油站例 Entity and UnitOfVolume 持有期間不久的過去何時 Physical and 測量 Object and 測量 RealNumber and Entity 持有期間眼前的未來何時 Physical and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber

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