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 16073-16074
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 16072-16072 MeasuringDevice e' uma sub-classe de Aparelho

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1420-1420 Altimeter e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2750-2750 AntibodyCOVIDTest e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 4048-4048 BimetalTemperatureSensor e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2875-2875 Clock e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 2771-2771 FeelerGauge e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4458-4458 FitbitDevice e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3029-3029 Hydrometer e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3282-3282 MassAirflowSensor e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3320-3320 OxygenSensor e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2911-2911 PressureMeasuringDevice e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1559-1559 RTPCRTest e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1699-1699 SnellenChart e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3999-3999 Tachometer e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14517-14517 TestForm e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2899-2899 Thermometer e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 4124-4124 TorqueWrench e' uma sub-classe de MeasuringDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 4223-4223 VacuumGauge e' uma sub-classe de MeasuringDevice
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 2929-2929 O argumento numero 1 de measurementReading e' uma instancia de MeasuringDevice

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16076-16082


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