TopCategory newSub DomainCategory.
DomainCategory newSub TransportCategory.


TransportCategory newSub Vehicle.	

	Vehicle newSub RoadVehicle.
		RoadVehicle newSub Bus.
		RoadVehicle newSub Car.

	Vehicle newSub  RailVehicle.
		RailVehicle newSub Train.
		RailVehicle newSub Tram.
DomainCategory newSub LivingThing.
	LivingThing newSub Person.

Attribute newAttribute DomainAttribute inverseDomainAttribute allAll manyMany.
DomainAttribute newAttribute hasOwner isOwnerOf allAll manyOne.
Vehicle grammatically hasOwner LivingThing.
RoadVehicle sensibly hasOwner Person.
DomainCategory newSub Organisation.
Vehicle grammatically hasOwner Organisation.
Vehicle sensibly hasOwner Organisation.
SymbolicValueType newSub SexValueType.
	SexValueType newSub male.
	SexValueType newSub female.
DomainAttribute newAttribute hasSex isSexOf 
		allAll manyOne.
Person grammaticallyAndSensibly hasSex SexValueType.
Person grammatically hasSex SexValueType.
Person sensibly hasSex SexValueType. 
SymbolicValueType newSub AgeValueType.
	AgeValueType newSub young.
	AgeValueType newSub old.
DomainAttribute newAttribute hasAge isAgeOf    allAll manyOne.
Person grammaticallyAndSensibly hasAge AgeValueType.
((Person which hasSex female) which hasAge old)
		name Woman.
((Person which hasSex male) which hasAge old)
		name Man.
Person which hasAge old.

Car which hasOwner Person.
Car which hasOwner Man.

DomainCategory newSub Fuel.
	Fuel newSub Petrol.
	Fuel newSub Diesel.
	Fuel newSub Electricity.

Attribute newAttribute hasFuel isFuelOf allAll manyOne.
Vehicle grammaticallyAndSensibly hasFuel Fuel. 
Car topicNecessarily hasFuel Petrol.
Bus topicNecessarily hasFuel Diesel.
Tram topicNecessarily hasFuel Electricity.
(Vehicle which hasFuel Petrol) name PetrolVehicle.
(Vehicle which hasFuel Diesel) name DieselVehicle.
(Vehicle which hasFuel Electricity) name ElectricVehicle.

">>>>>>>>>>>>>>>>>>>>>>>
> New categories
<<<<<<<<<<<<<<<<<<<<<<"
DomainCategory newSub VehiclePart.
	VehiclePart newSub Seat.
	VehiclePart newSub Wheel.
	VehiclePart newSub Nut.
	VehiclePart newSub SeatCover.
	VehiclePart newSub Tyre.
	VehiclePart newSub Tread.
DomainCategory newSub Damage.
	Damage newSub Puncture.
	Damage newSub Wear.
	Damage newSub Tear.

">>>>>>>>>>>>>>>>>>>>>>>>>>
>New attribute and its transitive declaration.
<<<<<<<<<<<<<<<<<<<<<<<<<"
DomainAttribute newAttribute hasPart isPartOf allAll oneMany.
hasPart transitiveDown.

">>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>Sanctions
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<"
VehiclePart grammaticallyAndSensibly isPartOf Vehicle.
VehiclePart grammaticallyAndSensibly isPartOf VehiclePart.

">>>>>>>>>>>>>>>>>>>>>>>
> Facts
<<<<<<<<<<<<<<<<<<<<<<<<<"
Vehicle necessarily hasPart Seat.
    Seat necessarily hasPart SeatCover.
Vehicle necessarily hasPart Wheel.
    Wheel necessarily hasPart Tyre.
        Tyre necessarily hasPart Tread. 
">>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
> The definitions for demonstrating transitive relations
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<"
(VehiclePart which isPartOf Vehicle) name AssembledVehiclePart
">>>>>>>>>>>>>>>>>>>>>>>
>New attribute and specialisedBy declaration
<<<<<<<<<<<<<<<<<<<<<<<<"
DomainAttribute newAttribute hasLocation isLocationOf allAll manyOne.
hasLocation specialisedBy isPartOf.
">>>>>>>>>>>>>>>>>>>>>>
Sanctions for hasLocation
<<<<<<<<<<<<<<<<<<<<<<<"
Damage grammaticallyAndSensibly hasLocation VehiclePart.
Damage grammaticallyAndSensibly hasLocation Vehicle.
">>>>>>>>>>>>>>>>>>>>>>>>>>>>
> The definitions for demonstrating specialisedBy
<<<<<<<<<<<<<<<<<<<<<<<<<<<<"
(Wear which hasLocation Tread) name TreadWear.
(Damage which hasLocation Seat) name SeatDamage.
(Damage which hasLocation Vehicle) name VehicleDamage. 
