BoeingAircraftN127AB
type: NamedIndividual
type: Aircraft
name: N127AB

DIAAirport
type: NamedIndividual
name: DIA

DIAGate32A
type: NamedIndividual
type: AirportGate
name: Gate

DIATerminalArrival
type: NamedIndividual
type: AirportTerminalArrival
name: Arrival

DIATerminalDeparture
type: NamedIndividual
type: AirportTerminalDeparture
name: Departure

JoesHome
type: NamedIndividual
type: Home
name: Home

RideToAirport
type: NamedIndividual
type: ActivitySpec
name: RideToAirport

WalkToGate
type: NamedIndividual
type: ActivitySpec
name: WalkToGate

TravelFromHomeToAirportEffect
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: name
  argument1: rideToAirportSpec
  argument2: RideToAirport
body: ClassAtom
  class predicate: ActivitySpec
  argument1: rideToAirportSpec
body: DatavaluedPropertyAtom
  property predicate: name
  argument1: departure
  argument2: Departure
body: ClassAtom
  class predicate: SpatialFeature
  argument1: departure
body: ClassAtom
  class predicate: Travel
  argument1: travelerAtHome
body: ClassAtom
  class predicate: ActivityOccurance
  argument1: rideToAirport
body: IndividualPropertyAtom
  property predicate: enable
  argument1: travelerAtHome
  argument2: rideToAirport
body: ClassAtom
  class predicate: Traveler
  argument1: traveler
body: IndividualPropertyAtom
  property predicate: correspondsTo
  argument1: rideToAirport
  argument2: rideToAirportSpec
body: IndividualPropertyAtom
  property predicate: hasManifestation
  argument1: traveler
  argument2: travelerAtHome
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: travelerAtDeparture
  arguments: rideToAirport
head: ClassAtom
  class predicate: Travel
  argument1: travelerAtDeparture
head: IndividualPropertyAtom
  property predicate: hasEffect
  argument1: rideToAirport
  argument2: travelerAtDeparture
head: IndividualPropertyAtom
  property predicate: hasManifestation
  argument1: traveler
  argument2: travelerAtDeparture
head: IndividualPropertyAtom
  property predicate: hasLocation
  argument1: travelerAtDeparture
  argument2: departure
head: DatavaluedPropertyAtom
  property predicate: name
  argument1: travelerAtDeparture
  argument2: travelerAtDeparture

TravelFromTerminalToGate
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: name
  argument1: walkToGateSpec
  argument2: WalkToGate
body: ClassAtom
  class predicate: ActivitySpec
  argument1: walkToGateSpec
body: DatavaluedPropertyAtom
  property predicate: name
  argument1: departure
  argument2: Departure
body: ClassAtom
  class predicate: SpatialFeature
  argument1: departure
body: ClassAtom
  class predicate: Travel
  argument1: travelerAtTerminal
body: IndividualPropertyAtom
  property predicate: hasLocation
  argument1: travelerAtTerminal
  argument2: departure
body: ClassAtom
  class predicate: Traveler
  argument1: traveler
body: IndividualPropertyAtom
  property predicate: hasManifestation
  argument1: traveler
  argument2: travelerAtTerminal
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: walkToGate
  arguments: travelerAtTerminal
head: ClassAtom
  class predicate: ActivityOccurance
  argument1: walkToGate
head: DatavaluedPropertyAtom
  property predicate: name
  argument1: walkToGate
  argument2: walkToGate
head: IndividualPropertyAtom
  property predicate: enable
  argument1: travelerAtTerminal
  argument2: walkToGate
head: IndividualPropertyAtom
  property predicate: correspondsTo
  argument1: walkToGate
  argument2: walkToGateSpec

TravelFromTerminalToGateEffect
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: name
  argument1: walkToGateSpec
  argument2: WalkToGate
body: ClassAtom
  class predicate: ActivitySpec
  argument1: walkToGateSpec
body: DatavaluedPropertyAtom
  property predicate: name
  argument1: gate
  argument2: Gate
body: ClassAtom
  class predicate: SpatialFeature
  argument1: gate
body: ClassAtom
  class predicate: Travel
  argument1: travelerAtTerminal
body: ClassAtom
  class predicate: ActivityOccurance
  argument1: walkToGate
body: IndividualPropertyAtom
  property predicate: enable
  argument1: travelerAtTerminal
  argument2: walkToGate
body: ClassAtom
  class predicate: Traveler
  argument1: traveler
body: IndividualPropertyAtom
  property predicate: correspondsTo
  argument1: walkToGate
  argument2: walkToGateSpec
body: IndividualPropertyAtom
  property predicate: hasManifestation
  argument1: traveler
  argument2: travelerAtTerminal
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: travelerAtGate
  arguments: walkToGate
head: ClassAtom
  class predicate: Travel
  argument1: travelerAtGate
head: IndividualPropertyAtom
  property predicate: hasEffect
  argument1: walkToGate
  argument2: travelerAtGate
head: IndividualPropertyAtom
  property predicate: hasManifestation
  argument1: traveler
  argument2: travelerAtGate
head: IndividualPropertyAtom
  property predicate: hasLocation
  argument1: travelerAtGate
  argument2: gate
head: DatavaluedPropertyAtom
  property predicate: name
  argument1: travelerAtGate
  argument2: travelerAtGate

TravelFromHomeToAirport
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: name
  argument1: rideToAirportSpec
  argument2: RideToAirport
body: ClassAtom
  class predicate: ActivitySpec
  argument1: rideToAirportSpec
body: DatavaluedPropertyAtom
  property predicate: name
  argument1: home
  argument2: Home
body: ClassAtom
  class predicate: SpatialFeature
  argument1: home
body: ClassAtom
  class predicate: Travel
  argument1: travelerAtHome
body: IndividualPropertyAtom
  property predicate: hasLocation
  argument1: travelerAtHome
  argument2: home
body: ClassAtom
  class predicate: Traveler
  argument1: traveler
body: IndividualPropertyAtom
  property predicate: hasManifestation
  argument1: traveler
  argument2: travelerAtHome
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: rideToAirport
  arguments: travelerAtHome
head: ClassAtom
  class predicate: ActivityOccurance
  argument1: rideToAirport
head: DatavaluedPropertyAtom
  property predicate: name
  argument1: rideToAirport
  argument2: rideToAirport
head: IndividualPropertyAtom
  property predicate: enable
  argument1: travelerAtHome
  argument2: rideToAirport
head: IndividualPropertyAtom
  property predicate: correspondsTo
  argument1: rideToAirport
  argument2: rideToAirportSpec