TreeView Knowledge Base Browser - UnitOfVolume

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 6285-6287
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 6283-6283	UnitOfVolume 是 CompositeUnitOfMeasure 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13634-13634	立方英尺是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7234-7234	杯子是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13677-13677	酒射击是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6769-6769	升是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7243-7243	盎司是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7225-7225	品脱是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7216-7216	夸脱是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13662-13662	注册表吨是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7252-7252	英国加仑是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7206-7206	美国加仑是 UnitOfVolume 的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65662-65662

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	如果 1 的 approximate diameter 是 %2 和客体的 radius 是实数和 2.0 那个实数M 和那个客体的 measure 是另一个实数另一个测量单位和自身连接物体的 measure 是第三实数那个另外测量单位和那个实数M 是 UnitOfLength 的 instance 和那个另外测量单位是 UnitOfVolume 的 instance，然后那个另外实数 equal 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6376-6380	如果实数测量单位 equal 物理量和那个测量单位是 UnitOfVolume 的 instance，然后那个物理量是体积测量的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	如果客体是 Antidiuretic 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和时距是 Urination 的 instance 和实体是那个时距的 result 和那个施事体是那个时距的 agent 和另一个时距是 Urination 的 instance 和那个时距不 equal 那个另外时距和另一个实体是那个另外时距的 result 和那个施事体是那个另外时距的 agent 和那个时距比那个运动发生的earlier 和那个运动比那个另外时距发生的earlier 和测量单位是 UnitOfVolume 的 instance 和那个时距的 measure 是实数那个测量单位和那个另外时距的 measure 是另一个实数那个测量单位，然后那个实数是 greaterThan 那个另外实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	如果客体是 Diuretic 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和时距是 Urination 的 instance 和实体是那个时距的 result 和那个施事体是那个时距的 agent 和另一个时距是 Urination 的 instance 和另一个实体是那个另外时距的 result 和那个施事体是那个另外时距的 agent 和那个时距比那个运动发生的earlier 和那个运动比那个另外时距发生的earlier 和测量单位是 UnitOfVolume 的 instance 和那个时距的 measure 是实数那个测量单位和那个另外时距的 measure 是另一个实数那个测量单位，然后那个另外实数是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2811-2830	如果客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和实体是汽油的 instance 和另一个实体是 UnitOfVolume 的 instance 和那个另外客体 contains 那个实体和那个实体的 measure 是第三实体那个另外实体和 EngineFlooded 是那个客体的 attribute 在时间位置 holdsDuring，然后那个另外客体的目的是不存在那个实体2 和第五实体这样那个实体2 是汽油的 instance 和那个另外客体 contains 那个实体2 和那个实体2 的 measure 是那个第五实体那个另外实体和那个第五实体是 greaterThanOrEqualTo 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1898-1917	如果过程是 EngineCycle 的 instance 和客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和那个过程是 located 在那个客体和实体是 UnitOfVolume 的 instance 和 maxCylinderVolume 那个客体 and 实数那个实体在那个过程出现的 time holdsDuring，然后不存在另一个实数和时距这样那个时距在那个过程出现的 time 时段内发生和那个另外客体的 measure 是那个另外实数那个实体在那个时距 holdsDuring 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1868-1887	如果过程是 EngineCycle 的 instance 和客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和那个过程是 located 在那个客体和实体是 UnitOfVolume 的 instance 和 minCylinderVolume 那个客体 and 实数那个实体在那个过程出现的 time holdsDuring，然后不存在另一个实数和时距这样那个时距在那个过程出现的 time 时段内发生和那个另外客体的 measure 是那个另外实数那个实体在那个时距 holdsDuring 和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	如果客体是 OnePercentMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 equal 0.01 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	如果客体是 SemiSkimmedMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.015 和那个实数和那个实数2 是 lessThanOrEqualTo 0.02 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	如果客体是 SkimmedMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.0 和那个实数和那个实数2 是 lessThanOrEqualTo 0.005 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	如果客体是 TwoPercentMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 equal 0.02 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	如果客体是 WholeMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.0325 和那个实数和那个实数2 是 lessThanOrEqualTo 0.05 和那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1987-1999	如果实体是自身连接物体的 instance 和过程是 Compressing 的 instance 和那个实体是那个过程的 patient 和那个实体的 measure 是实数另一个实体在紧接那个过程出现的 time before holdsDuring 和那个另外实体是 UnitOfVolume 的 instance 和那个实体的 measure 是另一个实数那个另外实体在紧接那个过程出现的 time after holdsDuring，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2689-2702	如果过程是侵蚀的 instance 和物理是土地形式的 instance 和那个物理是那个过程的 patient 和测量单位是 UnitOfVolume 的 instance 和那个物理的 measure 是实数那个测量单位，然后有存在实体这样那个物理的 measure 是那个实体那个测量单位和那个实体是 lessThan 那个实数在紧接那个过程出现的 time after holdsDuring

consequent

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

Cars.kif 3606-3622

如果物理是 Inflating 的 instance，
然后有存在客体，另一个客体,，，实数,，，另一个实数,，，类， and 和实体这样那个客体是那个类的 instance 和那个另外客体是那个类的 instance 和那个类是物质的 instance 和加油站是那个客体的 attribute 和加油站是那个另外客体的 attribute 和那个实体是 UnitOfVolume 的 instance 和那个客体的 measure 是那个实数那个实体在紧接那个物理出现的 time before holdsDuring 和那个另外客体的 measure 是那个另外实数那个实体在紧接那个物理出现的 time after holdsDuring 和那个另外实数是 greaterThan 那个实数

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