About cars

This document represents some info related to cars. The FCG notation is used. These representations have been loaded into the WebKB-2 knowledge base. Statements are in the courier font. They are enclosed within the XHTML marks <KR> and </KR> to permit WebKB-2 to distinguish them from regular text.

[any #car (^General characteristics^),
   may have for pm#kind: pm#car_of_a_certain_make (^$(explore 2)$^),
   may have for pm#kind: pm#commercial_or_passenger_car (^$(explore)$^),
   may have for pm#kind: pm#new_or_used_car (^$(explore 1)$^),
   may have for pm#kind: pm#automatic_or_manual_car (^$(explore)$^),
   may have for pm#kind: pm#hatchback_or_sedan_car (^$(explore)$^),
   may have for pm#kind: pm#car_with_a_certain_energy_source (^$(explore)$^),
   may have for pm#kind: pm#car_with_a_special_shape (^$(explore)$^),
   may have for pm#kind: pm#car_with_a_function (^$(explore)$^),
   may have for pm#kind: pm#car_with_a_role (^$(explore)$^),
   may have for pm#kind: pm#car_with_a_modification (^$(explore)$^)
](pm);

#car_dealer
  > pm#new-car_dealer pm#used-car_dealer pm#Toyota_car_dealer pm#Alfa_Romeo_car_dealer;

    pm#new-car_dealer
     : pm#John_Briggs_Alfa_Romeo;

    pm#used-car_dealer
     : pm#Car_Carnival;

    pm#Alfa_Romeo_car_dealer
     : jbar#John_Briggs_Alfa_Romeo (jbar);

#insurance_company
  : pm#Suncorp_Metway;


[most Toyota#Corolla_AE93_CSI_manual_hatchback,
  pm#kind: pm#used_car, //pm#kind: pm#manual_car,
  pm#part: a pm#air_conditioning_system, //no airbag
  attribute: 115000 to 125000 km,
  #monetary_value: 6000 to 7000 AUD, pm#location: #Australia
](GlassGuide 4/03/2002);
  //creator and date are specified because this file is part of
  //the KB, it is not loaded through WebKB-2 interfaces


[a Toyota#Corolla_AE93_CSI_manual_hatchback,
   pm#kind: pm#used_car, //pm#kind: pm#manual_car,
   pm#part: a pm#air_conditioning_system, pm#attribute: 120000 km,
   #color: a #red, pm#owner: spamOnly@phmartin.info,
   #monetary_value: 7000 AUD, pm#location: QLD#Southport,
   pm#object of: (a #sell, #asking_price: 6500 AUD,
                           pm#time: 9/03/2002, pm#place: QLD#Southport),
   pm#object of: (a #trade, time: 21/4/1998, pm#place: QLD#Southport,
                  pm#seller: pm#Car_Carnival,
                  pm#customer: spamOnly@phmartin.info,
                  #purchase_price: 11400 AUD),
   pm#object of: (an #insurance, pm#from_time: 28/04/1999,
                                 pm#until_time: 28/04/2000, 
                                 pm#seller: pm#Suncorp_Metway,
                                 #customer: spamOnly@phmartin.info,
                                 #monetary_value: 476.55 AUD)
](pm 4/03/2002);


[pm#Car_Carnival, #address: QLD#Southport](pm 18/06/1999);


[jbar#John_Briggs_Alfa_Romeo, pm#phone_No: "(07) 32528156",
   pm#street_No: 388, pm#street_name: "Wickham St",
   #district: QLD#Fortitude_Valley, pm#region_PO_Box_No: 4006
](jbar 15/04/2000);


[jbar#John_Briggs_Alfa_Romeo, pm#member: several #thief](pm 5/03/2002);


[an Alfa_Romeo#156_manual, pm#kind: pm#new_car, #monetary_value: 26000 AUD,
    pm#object of: (a #sell, #asking_price: 25000 AUD,
                            pm#seller: jbar#John_Briggs_Alfa_Romeo,
                            pm#place: QLD#Fortitude_Valley)
](jbar 4/03/2002);


[pm#Suncorp_Metway, pm#phone_No: "13 11 55", pm#GPO/PMB_Box_No: 1453,
   #district: #Brisbane, pm#region_PO_Box_No: 4001
](pm 23/02/2001);



Philippe A. MARTIN