Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasuringDevice
MeasuringDevice(測量工具)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3628-3629
No TPTP formula. May not be expressible in strict first order. Merge.kif 16023-16024
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1176-1176
No TPTP formula. May not be expressible in strict first order. Merge.kif 16022-16022 子類 測量工具 and Device

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1420-1420 子類 高度表 and 測量工具
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2750-2750 子類 AntibodyCOVIDTest and 測量工具
No TPTP formula. May not be expressible in strict first order. Cars.kif 4071-4071 子類 BimetalTemperatureSensor and 測量工具
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2882-2882 子類 時鐘 and 測量工具
No TPTP formula. May not be expressible in strict first order. Cars.kif 2794-2794 子類 FeelerGauge and 測量工具
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4458-4458 子類 FitbitDevice and 測量工具
No TPTP formula. May not be expressible in strict first order. Cars.kif 3052-3052 子類 Hydrometer and 測量工具
No TPTP formula. May not be expressible in strict first order. Cars.kif 3305-3305 子類 MassAirflowSensor and 測量工具
No TPTP formula. May not be expressible in strict first order. Cars.kif 3343-3343 子類 OxygenSensor and 測量工具
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2918-2918 子類 壓力測量裝置 and 測量工具
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1559-1559 子類 RTPCRTest and 測量工具
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1699-1699 子類 SnellenChart and 測量工具
No TPTP formula. May not be expressible in strict first order. Cars.kif 4022-4022 子類 Tachometer and 測量工具
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14489-14489 子類 測試表格 and 測量工具
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2906-2906 子類 溫度計 and 測量工具
No TPTP formula. May not be expressible in strict first order. Cars.kif 4147-4147 子類 TorqueWrench and 測量工具
No TPTP formula. May not be expressible in strict first order. Cars.kif 4246-4246 子類 VacuumGauge and 測量工具
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36689-36689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36688-36688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36687-36687

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2936-2936 域 測量讀數, 1 and 測量工具

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16026-16032


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