TreeView Knowledge Base Browser - PressureMeasuringDevice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2912-2913
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1220-1220
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2911-2911	PressureMeasuringDevice est une sous-classe de MeasuringDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1470-1470	BarometricAltimeter est une sous-classe de PressureMeasuringDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3264-3264	EngineMAPSensor est une sous-classe de PressureMeasuringDevice
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47272-47272
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47271-47271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47270-47270