|
|
  PartialVacuum
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PartialVacuum EnglishLanguage "An area of space which is at a lower pressure than surrounding regions.") | Cars.kif 380-381 | |
| (instance PartialVacuum RelationalAttribute) | Cars.kif 378-378 | PartialVacuum è un' istanza di AttributoRelazionale |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PartialVacuum "partial vacuum") | Cars.kif 379-379 |
| antecedent |
|
|
| (=> (attribute ?X PartialVacuum) (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 ?P1 ?P2)))) |
Cars.kif 383-396 |
|
| consequent |
|
|
| (=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum))) |
Cars.kif 477-483 |
|
| (=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum))))) |
Cars.kif 4233-4240 |
|
|
|
|