TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2493-2493
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6703-6704
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1187-1188
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6599-6599
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6701-6701	公克是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6700-6700	公克是 UnitOfMass 的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26376-26376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26375-26375
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26374-26374

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.	WMD.kif 823-840	如果实数每公斤微克 equal 质量测量是另一个质量测量的 per 和那个另外质量测量 equal 另一个实数公克的百万分之一和那个质量测量 equal 第三实数公克的一千倍，然后有存在过程，自身连接物体， and 和另一个自身连接物体这样那个过程是消化的 instance 和那个自身连接物体是生物活性物质的 instance 和那个另外自身连接物体是生物的 instance 和那个自身连接物体是那个过程的 patient 和那个另外自身连接物体是那个过程的 agent 和那个另外质量测量是那个自身连接物体的 weight 和那个质量测量是那个另外自身连接物体的 weight
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.	Economy.kif 4645-4658	如果客体是 CoffeeArabica 的 instance 和那个客体的 measure 是实数公克和那个客体C 是 Caffeine 的 instance 和那个客体C 是那个客体的 part 和那个客体C 的 measure 是另一个实数公克和第三实数 equal 那个另外实数和那个实数，然后那个第三实数是 greaterThanOrEqualTo 0.008 和那个第三实数是 lessThanOrEqualTo 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	如果客体是 CoffeeRobusta 的 instance 和那个客体的 measure 是实数公克和那个客体C 是 Caffeine 的 instance 和那个客体C 是那个客体的 part 和那个客体C 的 measure 是另一个实数公克和第三实数 equal 那个另外实数和那个实数，然后那个第三实数是 greaterThanOrEqualTo 0.017 和那个第三实数是 lessThanOrEqualTo 0.04
No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	如果客体是 Cream 的 instance 和那个客体是另一个客体的 part 和那个另外客体是 ButterFat 的 instance 和那个另外客体的 measure 是实数公克和第三客体是乳的 instance 和那个第三客体是第四客体的 part 和那个第四客体是 ButterFat 的 instance 和那个第四客体的 measure 是另一个实数公克，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2463-2478	如果自身连接物体是 CocoaLiquor 的 instance 和 100.0 公克是那个自身连接物体的 weight 和另一个自身连接物体是可可粉的 instance 和那个另外自身连接物体是那个自身连接物体的 part 和实数公克是那个另外自身连接物体的 weight 和第三自身连接物体是可可脂的 instance 和那个第三自身连接物体是那个自身连接物体的 part 和另一个实数公克是那个第三自身连接物体的 weight ，然后 approximateValue 那个实数 and 50.0 和 approximateValue 那个另外实数 and 50.0
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.

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

statement

No TPTP formula. May not be expressible in strict first order.	Food.kif 2524-2525	一盒巧克力的预期 value 是 250.0 公克
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1439-1439	1.0 公克的一千倍是 0.0004 公克的百万分之一的 per 是葡萄球菌肠毒素b 的 effective 剂量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7151-7153	实数 amu equal 那个实数和 1.6605402E-24 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7279-7282	实数公斤 equal 那个实数和 1000 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7296-7298	实数磅质量 equal 那个实数和 453.59237 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7304-7306	实数金属块 equal 那个实数和 14593.90 公克
No TPTP formula. May not be expressible in strict first order.	WMD.kif 439-439	1.0 公克的一千倍是 0.04 公克的百万分之一的 per 是 abrin毒素的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 310-310	1.0 公克的一千倍是 2.0 公克的百万分之一的 per 是 batrachotoxin 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 325-325	1.0 公克的一千倍是 0.001 公克的百万分之一的 per 是肉毒杆菌毒素的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1840-1840	1.0 公克的一千倍是 23.0 公克的千分之一的 per 是二乙酯scirpenol 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 431-431	1.0 公克的一千倍是 3.0 公克的百万分之一的 per 是蓖麻毒素的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 586-586	1.0 公克的一千倍是 100.0 公克的百万分之一的 per 是沙林的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1339-1339	1.0 公克的一千倍是 0.002 公克的百万分之一的 per 是志贺毒素的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 582-582	1.0 公克的一千倍是 64.0 公克的百万分之一的 per 是梭曼的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1440-1440	1.0 公克的一千倍是 0.02 公克的百万分之一的 per 是葡萄球菌肠毒素b 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1845-1845	1.0 公克的一千倍是 5.2 公克的千分之一的 per 是 t2毒素的 lethal 剂量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 599-599	1.0 公克的一千倍是 15.0 公克的百万分之一的 per 是 VX 的 lethal 剂量

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

KB Term:			Term intersection

English Word: