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 16001-16002
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 16000-16000 测量工具 是 设备 的 subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1420-1420 高度表 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2750-2750 AntibodyCOVIDTest 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4063-4063 BimetalTemperatureSensor 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2882-2882 时钟 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 2788-2788 FeelerGauge 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4458-4458 FitbitDevice 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3046-3046 Hydrometer 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3297-3297 MassAirflowSensor 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3335-3335 OxygenSensor 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2918-2918 压力测量装置 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1559-1559 RTPCRTest 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1699-1699 SnellenChart 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4014-4014 Tachometer 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14490-14490 测试表格 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2906-2906 温度计 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4139-4139 TorqueWrench 是 测量工具 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4238-4238 VacuumGauge 是 测量工具 的 subclass
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 数量 是 测量工具 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16004-16010


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