TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2394-2396
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6200-6205
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1074-1077
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6223-6223	测量单位详尽无遗地 partition 成 CompositeUnitOfMeasure 和 NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6198-6198	测量单位是物理量的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 853-853	拉德是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2093-2093	RevolutionsPerMinute 是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6497-6497	十亿倍函数的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6469-6469	千倍函数的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6483-6483	百万倍函数的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6539-6539	百万分之一函数的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6525-6525	千分之一函数的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6553-6553	十亿分之一函数的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6568-6568	万亿分之一函数的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3965-3965	方形单位的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6511-6511	一万亿倍函数的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6612-6612	UnitFn 的 range 是测量单位的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9868-9868	AcidityMeasure 是测量单位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6207-6207	CompositeUnitOfMeasure 是测量单位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6215-6215	NonCompositeUnitOfMeasure 是测量单位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7449-7449	SoundPressureLevelUnit 是测量单位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6237-6237	国际单位制是测量单位的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1301-1301
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1819-1819
No TPTP formula. May not be expressible in strict first order.	french_format.kif 979-979
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 514-514
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 518-518
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2663-2663
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 931-931

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 6496-6496	十亿倍函数的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6468-6468	千倍函数的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6349-6349	计量函数的 2 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6482-6482	百万倍函数的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6538-6538	百万分之一函数的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6524-6524	千分之一函数的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6552-6552	十亿分之一函数的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6567-6567	万亿分之一函数的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3964-3964	方形单位的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6510-6510	一万亿倍函数的 1 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 900-900	组件数据ID 的 4 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6150-6150	graphMeasure 的 2 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1245-1245	mixtureRatio 的 5 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 840-840	单位测量性能的 2 数量是测量单位的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	如果 FamilyStylePortion 是客体的 attribute 和那个客体的 measure 是实数测量单位和 FamilyStylePortion 不是另一个客体的 attribute 和那个另外客体的 measure 是另一个实数那个测量单位和那个客体是类的 instance 和那个另外客体是那个类的 instance 和那个测量单位是测量单位的 instance，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	如果实体是 EngineChoke 的 instance 和设备上是那个实体的 attribute 在过程 holdsDuring 和设备关闭是那个实体的 attribute 在另一个过程 holdsDuring 和自身连接物体是 EngineCylinder 的 instance 和恒量是那个自身连接物体的 capacity 和那个过程是 FourStrokeCompression 的 instance 和那个另外过程是 FourStrokeCompression 的 instance 和那个过程是 located 在那个自身连接物体和那个另外过程是 located 在那个自身连接物体和客体是空气的 instance 和另一个客体是汽油的 instance 和那个客体是那个恒量IX1 的 part 和那个另外客体是那个恒量IX1 的 part 和那个恒量IX1 的 measure 是那个恒量和第四客体是空气的 instance 和第五客体是汽油的 instance 和那个第四客体是那个恒量IX2 的 part 和那个第五客体是那个恒量IX2 的 part 和那个恒量IX2 的 measure 是那个恒量和测量单位是测量单位的 instance 和那个客体的 measure 是那个客体M 那个测量单位和那个第四客体的 measure 是那个第四客体M 那个测量单位和那个另外客体的 measure 是那个另外客体M 那个测量单位和那个第五客体的 measure 是那个第五客体M 那个测量单位，然后那个第四客体M 和那个第五客体M 是 greaterThan 那个客体M 和那个另外客体M
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2365-2384	如果过程是飓风的 instance 和时速级数属性是萨菲尔辛普森飓风风力等级的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数那个测量单位 equal 那个客体地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	如果客体是混合物的 instance 和测量单位是测量单位的 instance 和 mixtureRatio 物质, 另一个物质, 实数, 另一个实数 and 那个测量单位和那个客体的 measure 是第三实数那个测量单位和那个物质是那个客体的 part 和那个另外物质是那个客体的 part 和那个物质的 measure 是那个实数那个测量单位和那个另外物质的 measure 是那个另外实数那个测量单位，然后那个第三实数 equal (那个实数和那个另外实数)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6620-6626	如果物理量是物理量的 instance 和测量单位是测量单位的 instance 和那个物理量 equal 实数那个测量单位，然后那个物理量的 unit equal 那个测量单位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6503-6507	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的十亿倍，然后 1 那个另外测量单位 equal 1000000 那个测量单位的一千倍
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6475-6479	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的一千倍，然后 1 那个另外测量单位 equal 1000 那个测量单位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6489-6493	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的一百万倍，然后 1 那个另外测量单位 equal 1000000 那个测量单位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6545-6549	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的百万分之一，然后 1 那个另外测量单位 equal 0.000001 那个测量单位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6531-6535	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的千分之一，然后 1 那个另外测量单位 equal 0.001 那个测量单位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6560-6564	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的十亿分之一，然后 1 那个另外测量单位 equal 0.000000001 那个测量单位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6575-6579	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的万亿分之一，然后 1 那个另外测量单位 equal 0.000000000001 那个测量单位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6517-6521	如果测量单位是测量单位的 instance 和另一个测量单位 equal 那个测量单位的一万亿倍，然后 1 那个另外测量单位 equal 1000000000 那个测量单位的一千倍
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	如果过程是风的 instance 和时速级数属性是浦福氏风级属性的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数那个测量单位是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	如果客体在地区的外和另一个客体是那个地区的 perimeter 地区的 instance 和那个另外客体是均匀的周边区域的 instance 和那个另外客体的 width 是实数测量单位和那个客体和那个地区的 distance 是另一个实数那个测量单位和那个测量单位是测量单位的 instance 和 (那个另外实数和那个实数) 是 greaterThan 0.0，然后那个客体不是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	如果客体在地区的外和另一个客体是那个地区的 perimeter 地区的 instance 和那个另外客体是均匀的周边区域的 instance 和那个另外客体的 width 是实数测量单位和那个客体和那个地区的 distance 是另一个实数那个测量单位和那个测量单位是测量单位的 instance 和 (那个另外实数和那个实数) 是 lessThanOrEqualTo 0.0，然后那个客体是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	如果时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在物理和第三实数这样那个物理是运动的 instance 和那个物理有那个时速级数属性的 attribute 和那个物理的 measure 是那个第三实数那个测量单位和那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是一天的时间的 instance 和过程是看着的 instance 和客体是客体的 instance 和那个客体是黑色的 color 和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是晚上的时间的 instance 和过程是看着的 instance 和客体是地区的 instance 和发光的是那个客体的 attribute 和那个客体的 measure 是 1000.0 坎德拉和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance，然后不存在过程，施事体,，，客体， and 和另一个实数这样那个过程是看着的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程出现的 time 在那个时距时段内发生和那个过程是 located 在那个地区和那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	如果客体是类的 immediateInstance 和物理是那个类的 immediateInstance 和 Oversized 是那个客体的 attribute，然后有存在那个客体SIZE，那个物理SIZE， and 和测量单位这样那个测量单位是测量单位的 instance 和那个客体的 measure 是那个客体SIZE 那个测量单位和那个物理的 measure 是那个物理SIZE 那个测量单位和那个客体SIZE 是 greaterThan 那个物理SIZE
No TPTP formula. May not be expressible in strict first order.	Media.kif 2286-2291	如果符号串在 ISO-4217-A denotes 实体，然后那个实体是测量单位的 instance 和那个符号串是 3 characters long 和那个符号串是 AlphabeticString 的 instance

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: