Liter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Liter

Liter(升)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2511-2512
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6771-6773
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1210-1211
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6769-6769	升是 UnitOfVolume 的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34703-34703
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34702-34702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34701-34701

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	如果 Anemia 是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和女是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 lessThan 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	如果 Anemia 是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和男是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 lessThan 13
No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	如果客体是 Americano 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是饮用水的 instance 和那个另外物质的 measure 是 90.0 摄氏度和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2873-2884	如果客体是 Brine 的 instance 和那个客体的 measure 是 1.0 升和另一个客体是那个客体的 part 和那个另外客体是盐的 instance 和那个另外客体的 measure 是实数公克，然后那个实数是 greaterThan 35.0 和那个实数是 lessThanOrEqualTo 260.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	如果客体是 Cappuccino 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是 MilkFoam 的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升和自身连接物体是那个另外物质的 part 和那个自身连接物体是气泡的 instance 和那个自身连接物体是那个另外物质的 top 和那个自身连接物体的 measure 是第三实数毫米，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15 和 approximateValue 那个第三实数 and 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	如果客体是 FlatWhite 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是 MilkFoam 的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升和自身连接物体是那个另外物质的 part 和那个自身连接物体是那个物质的 part 和那个自身连接物体是那个另外物质的 top 和那个自身连接物体是气泡的 instance 和那个自身连接物体的 measure 是第三实数毫米，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15 和那个第三实数是 greaterThanOrEqualTo 1.0 和那个第三实数是 lessThanOrEqualTo 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1399-1415	如果客体是 Latte 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是 MilkFoam 的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升和自身连接物体是那个另外物质的 part 和那个自身连接物体是气泡的 instance 和那个自身连接物体是那个另外物质的 top 和那个自身连接物体的 measure 是第三实数毫米，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.21 和 approximateValue 那个第三实数 and 12.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1440-1450	如果客体是 LongBlack 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是饮用水的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升，然后 approximateValue 那个实数 and 0.06 和 approximateValue 那个另外实数 and 0.12
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2855-2866	如果客体是 BrackishWater 的 instance 和那个客体的 measure 是 1.0 升和另一个客体是那个客体的 part 和那个另外客体是盐的 instance 和那个另外客体的 measure 是实数公克，然后那个实数是 greaterThan 0.5 和那个实数是 lessThanOrEqualTo 30.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2836-2845	如果客体是 SeaWater 的 instance 和那个客体的 measure 是 1.0 升和另一个客体是那个客体的 part 和那个另外客体是盐的 instance 和那个另外客体的 measure 是实数公克，然后 approximateValue 那个实数 and 35.0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	如果 Anemia 不是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和女是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 greaterThan 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	如果 Anemia 不是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和男是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 greaterThan 13

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5924	如果人类是人类成人的 instance 和那个人类的 measure 是实数 Pounds，然后 bloodVolume 那个人类 and 那个实数2 升和那个实数2 equal 那个实数和 0.07 和 2.33
No TPTP formula. May not be expressible in strict first order.	Food.kif 754-762	如果客体是 Espresso 的 instance，然后有存在另一个客体和实数这样那个另外客体是饮用水的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 measure 是那个实数升和 approximateValue 那个实数 and 0.03
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	如果时间位置是 EspressoMaking 的 instance，然后有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体,，，第七实体,，，第八实体,，，第九实体,，，第十实体， and 和第十一实体这样那个实体是加热的 instance 和那个另外实体是那个实体的 patient 和那个另外实体的 measure 是那个第三实体升和 approximateValue 那个第三实体 and 0.03 和那个另外实体的 measure 是那个第四实体摄氏度和 approximateValue 那个第四实体 and 90 在那个实体出现的 time 的结束 holdsDuring 和那个第五实体是液体运动的 instance 和那个另外实体是那个第五实体的 patient 和那个另外实体的 measure 是那个第六实体帕斯卡的一千倍和 approximateValue 那个第六实体 and 900 在那个第五实体 holdsDuring 和那个第五实体在那个第七实体结束和那个第七实体是群体的 instance 和那个第七实体的 measure 是那个第八实体公克和 approximateValue 那个第八实体 and 7.5 和那个第七实体是那个第九实体的 member 和那个第九实体是 CoffeeGrind 的 instance 和 FineGrind 是那个第九实体的 attribute 和那个第七实体是 located 在那个第十实体和那个第十实体是过滤的 instance 和那个第十一实体是移除的 instance 和那个第十实体是导致那个第十一实体的 instrument 和那个第七实体是那个第十一实体的 patient 和时间那个第五实体出现的 time 的结束是在时间那个实体出现的 time 的结束和时间那个第十一实体出现的 time 的结束 between 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 770-781	如果客体是 Lungo 的 instance，然后有存在另一个客体和实数这样那个另外客体是 Espresso 的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 measure 是那个实数升和那个实数是实数的 instance 和那个客体的 measure 是那个实数和 2 升

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7257-7259	实数英国加仑 equal 那个实数和 4.54609 升
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7212-7214	实数美国加仑 equal 那个实数和 3.785411784 升

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