(=>
(attribute ?X Pressurized)
(exists (?O ?G ?P1 ?P2 ?PM)
(and
(instance ?O SelfConnectedObject)
(instance ?G Region)
(not
(equal ?G ?X))
(connected ?X ?O)
(connected ?G ?O)
(measure ?G
(MeasureFn ?P1 ?PM))
(measure ?X
(MeasureFn ?P2 ?PM))
(instance ?PM UnitOfAtmosphericPressure)
(greaterThan ?P2 ?P1)))) |
Cars.kif 356-369 |
If pressurized is an attribute of X, then there exist Y, Z,, , W,, , V and U such that Y is an instance of self connected object and Z is an instance of region and equal Z and X and X is connected to Y and Z is connected to Y and the measure of Z is W U(s) and the measure of X is V U(s) and U is an instance of unit of atmospheric pressure and V is greater than W |
Butter