TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17542-17542	固体是液体的相反
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3924-3925
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17552-17553
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17551-17551	固体是物质状态的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17543-17543	固体是所有的物质状态的 attributes
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31557-31557	roomTempState abrin毒素 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31539-31539	roomTempState 锕 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31561-31561	roomTempState 矾土 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31463-31463	roomTempState 铝 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31545-31545	roomTempState 銤 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31563-31563	roomTempState Amphetamine and 固体
No TPTP formula. May not be expressible in strict first order.	Food.kif 2872-2872	roomTempState AnimalFat and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31501-31501	roomTempState 锑 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31483-31483	roomTempState 砷 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31564-31564	roomTempState 石棉 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31535-31535	roomTempState 砹 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31567-31567	roomTempState 重晶石 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31506-31506	roomTempState 钡 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31568-31568	roomTempState batrachotoxin and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31569-31569	roomTempState 矾土 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31547-31547	roomTempState 锫 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31453-31453	roomTempState 铍 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31533-31533	roomTempState 铋 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31570-31570	roomTempState 肉毒杆菌毒素 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31416-31416	roomTempState 巨石 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31400-31400	roomTempState 褐煤 and 固体
No TPTP formula. May not be expressible in strict first order.	Food.kif 3098-3098	roomTempState 黄油 and 固体
No TPTP formula. May not be expressible in strict first order.	Food.kif 2931-2931	roomTempState ButterFat and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31498-31498	roomTempState 镉 and 固体

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7545-7554	如果客体是胶体的 instance 和另一个客体是那个客体的 part 和固体是那个另外客体的 attribute 或液体是那个另外客体的 attribute 和第三客体是空气的 instance 和那个第三客体是那个客体的 part，然后那个客体是气溶胶的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	如果客体是水晶的 instance 和单晶结构是那个客体的 attribute 和自身连接物体是物质的 instance 和固体是那个自身连接物体的 attribute 和多晶结构是那个自身连接物体的 attribute 和另一个自身连接物体是物质的 instance 和那个另外自身连接物体是那个自身连接物体的 surface 和那个客体不是那个另外自身连接物体的 part，然后有存在那个客体LNT，整数， and 和另一个客体这样那个客体LNT 是群体的 instance 和那个整数是那个客体LNT 的 member 计数和那个整数是 greaterThanOrEqualTo 4 和如果那个另外客体是那个客体LNT 的 member，然后那个另外客体是那个自身连接物体的 part 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	如果客体是绝对过滤器的 instance 和过程是移除的 instance 和另一个客体是那个过程的源头和那个另外客体是混合气体的 instance 和第三客体是那个过程的 patient 和固体是那个第三客体的 attribute 和那个客体是导致那个过程的 instrument，然后那个第三客体不是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	如果客体是 TapWater 的 instance 和另一个客体是混合物的 instance 和那个客体是那个另外客体的 part 和第三客体是 Antifreeze 的 instance 和那个第三客体是那个另外客体的 part 和固体是那个另外客体的 attribute 和那个另外客体的 measure 是实数摄氏度，然后 32 是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21616-21622	如果客体是胶体的 instance 和固体是那个客体的 attribute 和流体是那个客体的 attribute 和那个客体 equal 实体，然后那个实体是凝胶的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8979-8983	客体是冰的 instance 若且唯若那个客体是水的 instance 和固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10265-10269	如果过程是进食的 instance 和客体是那个过程的 resource，然后固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	如果过程是凝华的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和加油站是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和固体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring 和液体是那个另外客体的 attribute doesn't 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14000-14008	如果过程是结冰的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和液体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和固体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2986-2992	如果实体是 Grease 的 instance 和那个实体的 measure 是 77 华氏度在时间位置 holdsDuring，然后固体是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13912-13920	如果过程是溶化的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和固体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和液体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	如果群体是机构的 instance 和矿业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在客体，那个过程2， and 和那个施事体2 这样那个施事体是移除的 instance 和那个客体是那个施事体的 patient 和那个客体是純物质的 instance 和固体是那个客体的 attribute 和那个过程2 是那个群体的 member 和那个施事体2 是出售的 instance 和那个过程2 是那个施事体2 的 agent 和那个客体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1091-1096	如果过程是冻雨的 instance 和实体是那个过程的 patient 和那个实体是水的 instance，然后固体是那个实体的 attribute 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	如果过程是升华的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和固体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和加油站是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring 和液体是那个另外客体的 attribute doesn't 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13880-13893	如果实体是有点純物质的 instance 和实数测量单位是有点純物质的 melting 点和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 lessThan 那个实数，然后固体是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是结冰的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	如果客体是有点純物质的 instance 和有点純物质是純物质的 subclass 和实数凯文度是那个有点純物质的 melting 点和另一个实数英寸汞是那个客体的 barometric 压力和那个另外实数是 greaterThan 29.92 和那个客体的 measure 是第三实数凯文度和那个第三实数是 lessThan 那个实数，然后固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10524-10526	如果客体是 Clot 的 instance，然后固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10498-10510	如果物理是 Clotting 的 instance，然后有存在实体这样那个实体是血液的 instance 和液体是那个实体的 attribute 在紧接那个物理出现的 time before holdsDuring 和固体是那个实体的 attribute 在紧接那个物理出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	如果物理是滤盆的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是混合物的 instance 和那个另外实体是物质的 instance 和那个另外实体是那个实体的 part 和液体是那个另外实体的 attribute 和那个第四实体是移除的 instance 和那个另外实体是那个第四实体的 patient 和那个第三实体是物质的 instance 和那个第三实体是那个实体的 part 和固体是那个第三实体的 attribute 和那个第三实体是那个第四实体的 result 和那个物理是导致那个第四实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1150-1159	如果客体是 Exhaust 的 instance，然后有存在另一个客体，第三客体， and 和过程这样那个过程是燃烧的 instance 和固体是那个另外客体的 attribute 和加油站是那个第三客体的 attribute 和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part 和那个客体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	如果物理是 AirFilter 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是移除的 instance 和那个另外实体是那个第四实体的 part 和那个另外实体是空气的 instance 和那个第三实体不是空气的 instance 和固体是那个第三实体的 attribute 和那个第三实体是那个实体的 patient 和那个第三实体是那个第四实体的 part 和那个第四实体是那个实体的源头和那个第四实体是混合物的 instance 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2782-2792	如果过程是霜的 instance，然后有存在客体和另一个客体这样那个客体是冰的 instance 和单晶结构是那个客体的 attribute 和那个客体是那个过程的 patient 和那个另外客体是客体的 instance 和固体是那个另外客体的 attribute 和那个过程在那个另外客体结束和那个过程接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6004-6010	如果客体是冰川的 instance，然后有存在另一个客体这样那个另外客体是水的 instance 和固体是那个另外客体的 attribute 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2514-2524	如果过程是刨冰的 instance，然后有存在客体和另一个客体这样那个客体是冰的 instance 和多晶结构是那个客体的 attribute 和那个客体是那个过程的 patient 和那个另外客体是客体的 instance 和固体是那个另外客体的 attribute 和那个过程在那个另外客体结束和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9251-9253	如果客体是 Pill 的 instance，然后固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8954-8956	如果客体是粉末的 instance，然后固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1180-1182	如果天气过程是下冰雹的 instance，然后固体是那个天气过程的 precipitation 状态
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1137-1139	如果天气过程是下雪的 instance，然后固体是那个天气过程的 precipitation 状态
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17910-17912	如果客体是岩石的 instance，然后固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	如果物理是滤器的 instance，然后那个物理的目的是有存在实体，那个物理UB,，，第三实体， and 和第四实体这样那个实体是混合物的 instance 和那个物理UB 是物质的 instance 和那个第三实体是物质的 instance 和那个物理UB 是那个实体的 part 和固体是那个物理UB 的 attribute 和那个第四实体是移除的 instance 和那个第三实体是那个实体的 part 和液体是那个第三实体的 attribute 和那个物理UB 是那个第四实体的 patient 和那个第三实体是那个第四实体的 result 和那个物理是导致那个第四实体的 instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: