JoeAtHome
type: NamedIndividual
type: Travel
has location: JoesHome
name: travelerAtHome

TravelFromHomeToAirport
is rule enabled: true
type: Imp
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: IndividualPropertyAtom
  property predicate: enable
  argument1: travelerAtHome
  argument2: rideToAirport