TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3930-3931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17566-17567
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17564-17564	加油站是物质状态的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17565-17565	加油站是流体的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31468-31468	roomTempState 氩 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31556-31556	roomTempState 胂 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31571-31571	roomTempState BZ气体 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31590-31590	roomTempState CS气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31574-31574	roomTempState CarbonDioxide and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31578-31578	roomTempState 氯气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31579-31579	roomTempState Chlorofluorocarbon and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31580-31580	roomTempState 氯化苦 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31581-31581	roomTempState 窒息剂 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31594-31594	roomTempState 双光气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31599-31599	roomTempState Exhaust and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31459-31459	roomTempState 氟 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31600-31600	roomTempState Freon12 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31602-31602	roomTempState 混合气体 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31608-31608	roomTempState 温室气体 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31612-31612	roomTempState 大麻 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31451-31451	roomTempState 氦 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31613-31613	roomTempState 海洛因 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31450-31450	roomTempState 氢 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31486-31486	roomTempState 氪 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31396-31396	roomTempState 液化石油气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31548-31548	roomTempState 芥子气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31627-31627	roomTempState 天然气 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31460-31460	roomTempState 氖 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31629-31629	roomTempState 一氧化氮 and 加油站

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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

Merge.kif 17542-17542

固体是液体的相反

appearance as argument number 4

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

Merge.kif 17543-17543

固体是所有的物质状态的 attributes

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5016-5025	如果客体是气泡的 instance 和不存在另一个客体和属性这样那个属性是那个另外客体的 attribute 和那个另外客体不 equal 加油站和那个另外客体接上那个客体，然后中凸的圆形是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17594-17601	如果客体是物质的 instance 和加油站是那个客体的 attribute 或液体是那个客体的 attribute 或等离子体是那个客体的 attribute，然后流体是那个客体的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	如果实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后加油站是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是沸腾的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Weather.kif 69-73	如果客体是气流的 instance 和另一个客体是那个客体的 part，然后加油站是第三客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5010-5014	如果客体是气泡的 instance 和另一个客体是那个客体的 interiorPart，然后加油站是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13933-13941	如果过程是沸腾的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和液体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和加油站是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13979-13987	如果过程是凝结的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和加油站是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和液体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
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 13953-13966	如果过程是蒸发的 instance 和实数测量单位是有点純物质的 boiling 点和客体是有点純物质的 instance 和那个客体的 measure 是另一个实数那个测量单位和那个测量单位是 UnitOfTemperature 的 instance 和那个客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和那个实数是 greaterThan 那个另外实数和液体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和加油站是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11250-11254	如果过程是气体运动的 instance 和客体是那个过程的 patient，然后加油站是那个客体的 attribute
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 13798-13807	如果客体是有点純物质的 instance 和有点純物质是純物质的 subclass 和实数英寸汞是那个客体的 barometric 压力和 29.92 是 greaterThan 那个实数和另一个实数凯文度是那个有点純物质的 boiling 点和那个客体的 measure 是第三实数凯文度和那个第三实数是 greaterThan 那个另外实数，然后加油站是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7216-7222	如果实体是一氧化氮的 instance 和那个实体有标准状况的 attribute 在时间位置 holdsDuring，然后加油站是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7241-7247	如果实体是二氧化氮的 instance 和那个实体有标准状况的 attribute 在时间位置 holdsDuring，然后加油站是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7181-7187	如果实体是二氧化硫的 instance 和那个实体有标准状况的 attribute 在时间位置 holdsDuring，然后加油站是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3593-3599	如果物理是 Balloon 的 instance，然后那个物理的目的是有存在实体这样加油站是那个实体的 attribute 和那个物理 contains 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6458-6472	如果过程是腹胀的 instance，然后有存在施事体，自身连接物体,，，另一个自身连接物体， and 和客体这样那个施事体经历了那个过程和那个客体是加油站的 instance 和那个另外自身连接物体是那个施事体的 part 和那个另外自身连接物体是肠的 instance 和那个另外自身连接物体 contains 那个客体或那个自身连接物体是那个施事体的 part 和那个自身连接物体是胃的 instance 和那个自身连接物体 contains 那个客体
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.	Geography.kif 2040-2042	如果客体是天然气的 instance，然后加油站是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5174-5182	如果物理是 GasCompressor 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是 Compressing 的 instance 和加油站是那个另外实体的 attribute 和那个另外实体是那个实体的 patient 和那个物理是导致那个实体的 instrument
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 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14743-14748	如果客体是混合气体的 instance，然后有存在另一个客体这样那个另外客体是那个客体的 part 和加油站是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 424-432	如果过程是 Spark 的 instance，然后有存在实体和客体这样那个实体是电力的 instance 和那个实体是那个过程的 patient 和那个客体是物质的 instance 和加油站是那个客体的 attribute 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1092-1103	如果过程是喷的 instance，然后有存在客体，另一个客体， and 和第三客体这样加油站是那个客体的 attribute 和液体是那个另外客体的 attribute 和那个第三客体是混合气体的 instance 和那个第三客体是那个客体的 part 和那个第三客体是那个另外客体的 part 和那个客体是那个过程的 patient 和那个另外客体是那个过程的 patient 和那个第三客体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25650-25658	如果客体是 Steam 的 instance，然后有存在过程和实体这样那个过程是沸腾的 instance 和那个实体是水的 instance 和那个实体是那个过程的 patient 和那个客体是那个过程的 result 和加油站是那个客体的 attribute

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: