Measuring - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Measuring

Measuring(测量)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3133-3134
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12141-12142
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12140-12140	测量是计算的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6322-6322	MeasuringProcessFn 的所得值是测量的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1726-1726	地面风速量度是测量的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1150-1150
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1517-1517
No TPTP formula. May not be expressible in strict first order.	french_format.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 360-360
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 363-363
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2512-2512
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 780-780
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 365-365
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 399-399
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 849-849
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 364-364

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	如果客体是 AntibodyCOVIDTest 的 instance 和那个客体是导致过程的 instrument 和那个过程是测量的 instance 和另一个客体是那个过程的 patient 和第三客体是 COVIDAntibody 的 instance 和那个第三客体是那个另外客体的 part，然后那个另外客体 knows 有存在那个第三客体这样那个第三客体是 COVIDAntibody 的 instance 和那个第三客体是那个另外客体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1260-1269	如果过程是测量的 instance 和客体是导致那个过程的 instrument 和有认知的主事是那个过程的 agent 和实体是那个过程的 patient 和那个客体是 PulseOximeter 的 instance，然后有存在另一个实体这样那个有认知的主事 knows oxygenSaturation 那个实体 and 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1589-1597	如果过程是测量的 instance 和客体是导致那个过程的 instrument 和那个客体是 RTPCRTest 的 instance，然后有存在另一个过程这样那个另外过程是放射光线的 instance 和那个客体是那个另外过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2886-2892	如果过程是测量的 instance 和实体是那个过程的 result 和客体是导致那个过程的 instrument 和那个客体是时钟的 instance，然后那个实体是时间单位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2922-2928	如果过程是测量的 instance 和实体是那个过程的 result 和客体是导致那个过程的 instrument 和那个客体是温度计的 instance，然后那个实体是温度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12144-12151	如果过程是测量的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后有存在另一个实体和第三实体这样那个施事体 knows 那个实体的 measure 是那个另外实体那个第三实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	如果过程是测量的 instance 和物理是那个过程的 patient 和长度测量是那个过程的 result 和客体是导致那个过程的 instrument 和那个客体是绝对高度计的 instance，然后有存在那个物理2 这样那个物理的 altitude 是那个物理2 和那个物理2 是行星地球的 surface
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1477-1484	如果过程是测量的 instance 和物理是那个过程的 patient 和长度测量是那个过程的 result 和客体是导致那个过程的 instrument 和那个客体是气压高度计的 instance，然后那个物理的 altitude 是海平面
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1488-1496	如果过程是测量的 instance 和自身连接物体是那个过程的 patient 和那个自身连接物体是行星地球的 surface 和长度测量是那个过程的 result 和客体是导致那个过程的 instrument 和那个客体是气压高度计的 instance，然后那个长度测量是那个自身连接物体的 elevation
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1426-1432	如果过程是测量的 instance 和实体是那个过程的 result 和客体是导致那个过程的 instrument 和那个客体是高度表的 instance，然后那个实体是高度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2910-2916	如果过程是测量的 instance 和实体是那个过程的 result 和客体是导致那个过程的 instrument 和那个客体是温度计的 instance，然后那个实体是温度测量的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1712-1716	如果串列是量度串列的 instance 和实体是那个串列的 member，然后那个实体是测量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1765-1771	如果量度串列在地理区域（发生） eventLocated 和过程是那个量度串列的 member，然后那个过程是测量的 instance 和那个过程是 located 在那个地理区域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25529-25543	如果物理是 AlarmClock 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是测量的 instance 和那个物理是那个另外实体的 agent 和那个第三实体是那个另外实体的 result 和那个第三实体 equal 那个实体和有存在第四实体这样那个第四实体是放射声音的 instance 和那个物理是那个第四实体的 agent 在那个另外实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16026-16032	如果物理是测量工具的 instance，然后那个物理的目的是有存在实体这样那个实体是测量的 instance 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2802-2810	如果物理是 FeelerGauge 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是测量的 instance 和那个实体是触觉的 instance 和那个实体%n是那个另外实体的subProcess 和那个物理是导致那个另外实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3057-3066	如果物理是 Hydrometer 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是测量的 instance 和那个另外实体是物质的 instance 和液体是那个另外实体的 attribute 和那个另外实体是那个实体的 patient 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3311-3321	如果物理是 MassAirflowSensor 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个第三实体是空气的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是测量的 instance 和那个第三实体是那个另外实体的 patient 和那个物理是导致那个另外实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3348-3356	如果物理是 OxygenSensor 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是氧的 instance 和那个另外实体是测量的 instance 和那个实体是那个另外实体的 patient 和那个物理是导致那个另外实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1271-1280	如果物理是 PulseOximeter 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是测量的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 agent 和那个第三实体是那个实体的 patient 和那个物理是 PulseOximeter 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1575-1587	如果物理是 RTPCRTest 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和那个实体EAS 这样那个实体是测量的 instance 和那个物理NA 是那个实体的 patient 和那个物理NA 是 RNA分子的 instance 和那个物理NA 的 measure 是那个实体EAS 在那个第三实体 holdsDuring 和那个另外实体 knows 那个物理NA 的 measure 是那个实体EAS 在那个第三实体 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4027-4036	如果物理是 Tachometer 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是旋转的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是测量的 instance 和那个物理是导致那个另外实体的 instrument 和那个第三实体是那个另外实体的 patient

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