length - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2643-2644
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7560-7561
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1360-1361
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7558-7558	长度是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7556-7556	长度是单值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7557-7557	长度是 linearExtent 的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 613-613
No TPTP formula. May not be expressible in strict first order.	english_format.kif 616-616
No TPTP formula. May not be expressible in strict first order.	french_format.kif 371-371
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 162-162
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2105-2105
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 323-323
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 380-380
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 803-803
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 201-201
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 393-393
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 412-412
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 323-323
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17568-17568	水深是长度的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65864-65864
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 324-324

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 620-630	如果过程是 CPR 的 instance 和运动是 Compressing 的 instance 和客体%n是那个运动发生的path 和那个运动%n是那个过程的subProcess 和那个客体的 length 是实数厘米，然后那个实数是 greaterThan 5.0 和那个实数是 lessThan 6.0
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1567-1574	如果客体是 AuditoryCanal 的 instance 和那个客体是另一个客体的 part 和 Healthy 是那个另外客体的 attribute 和那个客体的 length 是实数厘米，然后 approximateValue 那个实数 and 2.5
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1517-1524	如果客体是 EustachianTube 的 instance 和那个客体是另一个客体的 part 和 Healthy 是那个另外客体的 attribute 和那个客体的 length 是实数厘米，然后 approximateValue 那个实数 and 35.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10555-10570	如果过程是 MuscleRelaxing 的 instance 和实体是那个过程的 patient 和那个实体是肌肉的 instance 和那个实体的 length 是实数另一个实体在紧接那个过程出现的 time before holdsDuring 和那个实体的 length 是另一个实数那个另外实体在紧接那个过程出现的 time after holdsDuring，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10533-10548	如果过程是 MuscularContraction 的 instance 和实体是那个过程的 patient 和那个实体是肌肉的 instance 和那个实体的 length 是实数另一个实体在紧接那个过程出现的 time before holdsDuring 和那个实体的 length 是另一个实数那个另外实体在紧接那个过程出现的 time after holdsDuring，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11082-11092	如果客体%n是实体 path 和另一个客体是运动的源头和那个运动在第三客体结束和那个客体的 length 是实数测量单位和那个另外客体和那个第三客体的 distance 是另一个实数那个测量单位和那个实数不是 greaterThan 那个另外实数和第四客体是那个客体的 part，然后那个第四客体是在那个另外客体和那个第三客体 between
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	如果 relativeAngle 客体, 另一个客体 and 实数和 physicalEnd 第三客体 and 那个客体和 physicalEnd 第四客体 and 那个客体和那个第三客体不 equal 那个第四客体和那个客体的 length 是那个实数1 测量单位和那个另外客体的 length 是那个实数2 那个测量单位和那个第三客体和第五客体的 distance 是那个实数3 那个测量单位和 physicalEnd 那个第五客体 and 那个另外客体和 physicalEnd 第六客体 and 那个另外客体和那个第五客体不 equal 那个第六客体和那个第三客体不接上那个第五客体，然后那个实数 equal ArcCosineFn ((那个实数3 和那个实数3 和那个实数1 和那个实数1) 和那个实数2 和那个实数2) 和 2.0 和那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7563-7571	如果物理的 length 是实数测量单位，然后不存在那个实数2 这样那个物理的 linear extent 是那个实数2 那个测量单位和那个实数2 是 greaterThan 那个实数

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 182-189	长度测量是地理区域的轨道 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 712-719	长度测量是地理区域的原油管线 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 210-217	长度测量是地理区域的双轨规格 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 126-133	长度测量是地理区域的电场轨道 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 568-575	长度测量是地理区域的高速公路系统 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 154-161	长度测量是地理区域的多轨铁路 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 237-244	长度测量是地理区域的短规格铁路的 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 735-742	长度测量是地理区域的天然瓦斯管线的 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 542-549	长度测量是地理区域的铺设铁路 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 758-765	长度测量是地理区域的石油产品管线 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 265-272	长度测量地理区域的标准规格管线 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	长度测量是地理区域的未分类规格轨道 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 601-608	长度测量是地理区域的未铺设高速公路 length 若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 484-491	长度测量是地理区域的 total 高速公路系统长度若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 98-105	长度测量是地理区域的 total 铁路系统长度若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 656-663	长度测量是地理区域的 total 水路长路若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 685-692	长度测量是在地区地理区域的 total 管线若且唯若符号串所描述的类别的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	如果客体是飞机场的 instance 和长跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 2438 或那个实数是 lessThanOrEqualTo 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	如果客体是飞机场的 instance 和中长跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 1524 或那个实数是 lessThanOrEqualTo 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	如果客体是飞机场的 instance 和短跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 914 或那个实数是 lessThanOrEqualTo 1523
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1464-1474	如果客体是飞机场的 instance 和很长的跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThan 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	如果客体是飞机场的 instance 和很短的跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 lessThan 914
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23805-23820	如果过程是延长的 instance 和实体是那个过程的 patient，然后有存在那个过程1，那个过程2， and 和另一个实体这样那个另外实体是 UnitOfLength 的 instance 和那个实体的 length 是那个过程1 那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个实体的 length 是那个过程2 那个另外实体在那个过程出现的 time 的结束 holdsDuring 和那个过程2 是 greaterThan 那个过程1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17208-17223	如果过程是缩短的 instance 和实体是那个过程的 patient，然后有存在实数，另一个实数， and 和另一个实体这样那个另外实体是 UnitOfLength 的 instance 和那个实体的 length 是那个实数那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个实体的 length 是那个另外实数那个另外实体在那个过程出现的 time 的结束 holdsDuring 和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31060-31065	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和物理是那个集合的 element，然后那个物理的 length 是那个长度测量

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

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

Geography.kif 4671-4674

南部海洋和南极洲的 shoreline 的 length 是 17968.0 仪表的一千倍

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

KB Term:			Term intersection

English Word: