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 12194-12195
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12193-12193	子類 Measuring and Calculating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6306-6306	範圍子類 MeasuringProcessFn and Measuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1712-1712	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1150-1150	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1517-1517	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	french_format.kif 828-828	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 360-360	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 363-363	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2512-2512	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 780-780	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 365-365	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 399-399	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 658-658	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 849-849	子類 SurfaceWindSpeedMeasuring and Measuring
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 364-364	子類 SurfaceWindSpeedMeasuring and Measuring

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2751-2765	例 Object and AntibodyCOVIDTest 儀器 Process and Object 例 Process and Measuring 患者 Process and Object 例 Object and COVIDAntibody 部分 Object and Object 模態屬性知道 Object and Object 例 Object and COVIDAntibody 部分 Object and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1248-1257	例 Process and Measuring 儀器 Process and Object agent Process and CognitiveAgent 患者 Process and Entity 例 Object and PulseOximeter entity 知道 CognitiveAgent and oxygenSaturation Entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1577-1585	例 Process and Measuring 儀器 Process and Object 例 Object and RTPCRTest Process 例 Process and RadiatingLight 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2952-2958	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 時鐘例 Entity and TimeMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2988-2994	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 溫度計例 Entity and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12197-12204	例 Process and Measuring agent Process and AutonomousAgent 患者 Process and Entity entity entity 持有期間結束何時 Process and 知道 AutonomousAgent and 測量 Entity and 測量 entity and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	例 Process and Measuring 患者 Process and Physical 結果 Process and LengthMeasure 儀器 Process and Object 例 Object and 絕對高度計 Physical 高度 Physical, Physical and LengthMeasure 表面 Physical and 行星地球
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1477-1484	例 Process and Measuring 患者 Process and Physical 結果 Process and LengthMeasure 儀器 Process and Object 例 Object and 氣壓高度計高度 Physical, 海平面 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1488-1496	例 Process and Measuring 患者 Process and SelfConnectedObject 表面 SelfConnectedObject and 行星地球結果 Process and LengthMeasure 儀器 Process and Object 例 Object and 氣壓高度計 LengthMeasure 是 SelfConnectedObject 的 elevation
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1426-1432	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 高度表例 Entity and 高度測量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2976-2982	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 溫度計例 Entity and TemperatureMeasure

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1702	例 List and MeasuringList 在列表中 Entity and List 例 Entity and Measuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2970-2996	例 Object and Odometer 例 Object and 車輛部分 Object and Object 例 Motion and 易位儀器 Motion and Object 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and LengthMeasure 有目的 Object and entity entity, RealNumberIST and UnitOfMeasure 例 entity and Measuring 儀器 entity and Object RealNumberIST 是 Object 的 measurement 讀數在列表中 RealNumber and entity 持有期間何時結束 entity and 等於 RealNumberIST and 測量 ListSumFn entity and UnitOfMeasure attribute Object and ResetMeasuringDevice
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1751-1757	locationMeasuringList MeasuringList and GeographicArea 在列表中 Process and MeasuringList 例 Process and Measuring Process 是 located 在 GeographicArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26649-26663	例 Physical and AlarmClock 有目的 Physical and entity entity and entity 例 entity and Measuring agent entity and Physical 結果 entity and entity 等於 entity and entity 持有期間何時 entity and entity 例 entity and RadiatingSound agent entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16101-16107	例 Physical and 測量工具有目的 Physical and entity 例 entity and Measuring 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2780-2788	例 Physical and FeelerGauge 有目的 Physical and entity entity 例 entity and Measuring 例 entity and TactilePerception 子過程 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3110-3119	例 Physical and Hydrometer 有目的 Physical and entity entity 例 entity and Measuring 例 entity and Substance attribute entity and 液體患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3364-3374	例 Physical and MassAirflowSensor 有目的 Physical and entity entity and entity 例 entity and Transfer 例 entity and 空氣患者 entity and entity 例 entity and Measuring 患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3401-3409	例 Physical and OxygenSensor 有目的 Physical and entity entity 例 entity and 氧例 entity and Measuring 患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1259-1268	例 Physical and PulseOximeter 有目的 Physical and entity entity and entity 例 entity and Measuring 儀器 entity and Physical agent entity and entity 患者 entity and entity 例 Physical and PulseOximeter
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1563-1575	例 Physical and RTPCRTest 有目的 Physical and entity entity, entity and entityEAS 例 entity and Measuring 患者 entity and PhysicalNA 例 PhysicalNA and RNA分子持有期間 entity and 測量 PhysicalNA and entityEAS 知道 entity and 持有期間 entity and 測量 PhysicalNA and entityEAS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3018-3032	例 Physical and Speedometer 有目的 Physical and entity entity, PhysicalPEED, entity, entityIME and entity 例 entity and 車輛部分 Physical and entity 例 entity and 易位儀器 entity and entity 測量 entity and PhysicalPEED 等於 PhysicalPEED and 速度 entity and entityIME 例 entity and Measuring 儀器 entity and Physical PhysicalPEED 是 entity 的 measurement 讀數
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4080-4089	例 Physical and Tachometer 有目的 Physical and entity entity and entity 例 entity and 旋轉患者 entity and entity 例 entity and Measuring 儀器 entity and Physical 患者 entity and entity

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