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 2919-2920
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 2918-2918	压力测量装置是测量工具的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1470-1470	气压高度计是压力测量装置的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3279-3279	EngineMAPSensor 是压力测量装置的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47270-47270
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47269-47269
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47268-47268