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 #kilometer,
#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 #kilometer,
#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);