(=>
(and
(functionRoomAmenity ?FR ?PHY)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?HOTEL))
(instance ?RENT Renting)
(patient ?RENT ?RM)
(agent ?RENT ?HOTEL)
(destination ?RENT ?CUST)
(subclass ?PHY Object))
(modalAttribute
(exists (?O ?P)
(and
(instance ?O ?PHY)
(instance ?P Process)
(or
(resource ?P ?O)
(instrument ?P ?O)
(patient ?P ?O))
(or
(agent ?P ?CUST)
(experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 815-836 |
[IF_A][AND][SEG]functionRoomAmenity HotelFunctionRoom X and Physical Y[/SEG] [SEG]instance Entity Z and HotelFunctionRoom X[/SEG] [SEG]element Entity Z and PropertyFn AutonomousAgent W[/SEG] [SEG]instance Process V and Renting[/SEG] [SEG]patient Process V and Entity Z[/SEG] [SEG]agent Process V and AutonomousAgent W[/SEG] [SEG]destination Process V and Entity U[/SEG] [SEG]subclass Physical Y and Object[/SEG][/AND][/IF_A][IF_C]modalAttribute entity T entity S [AND][SEG]instance entity T and Physical Y[/SEG] [SEG]instance entity S and Process[/SEG] [SEG][OR][SEG]resource entity S and entity T[/SEG] [SEG]instrument entity S and entity T[/SEG] [SEG]patient entity S and entity T[/SEG][/OR][/SEG] [SEG][OR][SEG]agent entity S and Entity U[/SEG] [SEG]experiencer entity S and Entity U[/SEG][/OR][/SEG][/AND] and Possibility[/IF_C] |
(=>
(and
(equal ?P
(OrganicObjectFn ?ORG))
(subclass ?P Object))
(exists (?R ?O)
(and
(instance ?R
(DeadFn ?ORG))
(part ?R ?O)
(instance ?O ?ORG)))) |
Economy.kif 5603-5612 |
[IF_A][AND][SEG]equal Object X and OrganicObjectFn OrganicObject Y[/SEG] [SEG]subclass Object X and Object[/SEG][/AND][/IF_A][IF_C] Object Z Object W [AND][SEG]instance Object Z and DeadFn OrganicObject Y[/SEG] [SEG]part Object Z and Object W[/SEG] [SEG]instance Object W and OrganicObject Y[/SEG][/AND][/IF_C] |
(=>
(and
(roomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object))
(forall (?R)
(=>
(instance ?R ?ROOM)
(exists (?O)
(and
(instance ?R ?ROOM)
(instance ?O ?OBJ)
(located ?O ?R)))))) |
Hotel.kif 281-292 |
[IF_A][AND][SEG]roomAmenity HotelUnit X and Physical Y[/SEG] [SEG]subclass Physical Y and Object[/SEG][/AND][/IF_A][IF_C][FORALL][VARS] Object Z[/VARS] [IF_A]instance Object Z and HotelUnit X[/IF_A][IF_C] Physical W [AND][SEG]instance Object Z and HotelUnit X[/SEG] [SEG]instance Physical W and Physical Y[/SEG] [SEG]located Physical W and Object Z[/SEG][/AND][/IF_C][/FORALL][/IF_C] |
(=>
(and
(subclass ?TYPE Translocation)
(instance ?EVENT ?TYPE)
(eventLocated ?EVENT ?REGION)
(instance ?ROLE CaseRole)
(instance ?OBJECT Object)
(instance ?REGION GeographicArea)
(capability ?TYPE ?ROLE ?OBJECT))
(capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 3727-3736 |
[IF_A][AND][SEG]subclass Process X and Translocation[/SEG] [SEG]instance Process Y and Process X[/SEG] [SEG]eventLocated Process Y and Region Z[/SEG] [SEG]instance CaseRole W and CaseRole[/SEG] [SEG]instance Object V and Object[/SEG] [SEG]instance Region Z and GeographicArea[/SEG] [SEG]capability Process X, CaseRole W and Object V[/SEG][/AND][/IF_A][IF_C]capableAtLocation Process X, CaseRole W, Object V and Region Z[/IF_C] |
(=>
(and
(guest ?CUST ?HOTEL)
(stays ?CUST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?R ?ROOM)
(roomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object))
(exists (?O)
(and
(instance ?O ?OBJ)
(located ?O ?R)
(confersRight ?HOTEL ?CUST
(exists (?PROC)
(and
(agent ?PROC ?CUST)
(or
(instrument ?PROC ?O)
(patient ?PROC ?O)
(resource ?PROC ?O)))))))) |
Hotel.kif 294-313 |
[IF_A][AND][SEG]guest Human X and Formula Y[/SEG] [SEG]stays Human X and TemporaryResidence Z[/SEG] [SEG]element TemporaryResidence Z and PropertyFn Formula Y[/SEG] [SEG]instance TemporaryResidence Z and HotelUnit W[/SEG] [SEG]roomAmenity HotelUnit W and Physical V[/SEG] [SEG]subclass Physical V and Object[/SEG][/AND][/IF_A][IF_C] Physical U [AND][SEG]instance Physical U and Physical V[/SEG] [SEG]located Physical U and TemporaryResidence Z[/SEG] [SEG]confersRight Formula Y, Human X and entity T [AND][SEG]agent entity T and Human X[/SEG] [SEG][OR][SEG]instrument entity T and Physical U[/SEG] [SEG]patient entity T and Physical U[/SEG] [SEG]resource entity T and Physical U[/SEG][/OR][/SEG][/AND][/SEG][/AND][/IF_C] |
(=>
(and
(paidRoomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?O ?OBJ)
(located ?O ?R)
(instance ?P Process)
(agent ?P ?GUEST)
(or
(located ?P ?R)
(patient ?P ?O)
(instrument ?P ?O)
(resource ?P ?O)))
(exists (?PRICE ?U)
(and
(price ?O
(MeasureFn ?PRICE ?U) ?GUEST)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 396-417 |
[IF_A][AND][SEG]paidRoomAmenity HotelUnit X and Physical Y[/SEG] [SEG]subclass Physical Y and Object[/SEG] [SEG]instance TemporaryResidence Z and HotelUnit X[/SEG] [SEG]stays Human W and TemporaryResidence Z[/SEG] [SEG]element TemporaryResidence Z and PropertyFn AutonomousAgent V[/SEG] [SEG]instance Object U and Physical Y[/SEG] [SEG]located Object U and TemporaryResidence Z[/SEG] [SEG]instance Process T and Process[/SEG] [SEG]agent Process T and Human W[/SEG] [SEG][OR][SEG]located Process T and TemporaryResidence Z[/SEG] [SEG]patient Process T and Object U[/SEG] [SEG]instrument Process T and Object U[/SEG] [SEG]resource Process T and Object U[/SEG][/OR][/SEG][/AND][/IF_A][IF_C] RealNumber S UnitOfMeasure R [AND][SEG]price Object U, MeasureFn RealNumber S and UnitOfMeasure R and Human W[/SEG] [SEG]instance UnitOfMeasure R and UnitOfCurrency[/SEG] [SEG]greaterThan RealNumber S and 0[/SEG][/AND][/IF_C] |
(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Object)
(instance ?X ?PHYS))
(confersRight ?AGENT ?CUST
(exists (?PROC)
(and
(instance ?PROC Process)
(or
(resource ?PROC ?X)
(instrument ?PROC ?X)
(patient ?PROC ?X))
(or
(agent ?PROC ?CUST)
(experiencer ?PROC ?CUST)))))) |
Hotel.kif 504-520 |
[IF_A][AND][SEG]customer CognitiveAgent X and Formula Y[/SEG] [SEG]propertyAmenity Formula Y and Physical Z[/SEG] [SEG]subclass Physical Z and Object[/SEG] [SEG]instance Entity W and Physical Z[/SEG][/AND][/IF_A][IF_C]confersRight Formula Y, CognitiveAgent X and entity V [AND][SEG]instance entity V and Process[/SEG] [SEG][OR][SEG]resource entity V and Entity W[/SEG] [SEG]instrument entity V and Entity W[/SEG] [SEG]patient entity V and Entity W[/SEG][/OR][/SEG] [SEG][OR][SEG]agent entity V and CognitiveAgent X[/SEG] [SEG]experiencer entity V and CognitiveAgent X[/SEG][/OR][/SEG][/AND][/IF_C] |
(=>
(and
(instance ?ROBOT CarryBot)
(instance ?INSTANCE ?OBJECT)
(subclass ?OBJECT Object)
(widthLimit ?ROBOT
(MeasureFn ?WIDTHLIMIT ?UNIT))
(or
(and
(defaultMaximumLength ?OBJECT
(MeasureFn ?LENGTH ?UNIT))
(defaultMaximumWidth ?OBJECT
(MeasureFn ?WIDTH ?UNIT))
(defaultMaximumHeight ?OBJECT
(MeasureFn ?HEIGHT ?UNIT))
(greaterThan ?LENGTH ?WIDTHLIMIT)
(greaterThan ?WIDTH ?WIDTHLIMIT)
(greaterThan ?HEIGHT ?WIDTHLIMIT))
(and
(defaultMaximumSphereRadius ?OBJECT
(MeasureFn ?RADIUS ?UNIT))
(greaterThan
(MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT))))
(not
(canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 28-52 |
[IF_A][AND][SEG]instance Entity X and CarryBot[/SEG] [SEG]instance Object Y and Object Z[/SEG] [SEG]subclass Object Z and Object[/SEG] [SEG]widthLimit Entity X and MeasureFn RealNumber W and UnitOfMeasure V[/SEG] [SEG][OR][SEG][AND][SEG]defaultMaximumLength Object Z and MeasureFn RealNumber U and UnitOfMeasure V[/SEG] [SEG]defaultMaximumWidth Object Z and MeasureFn RealNumber T and UnitOfMeasure V[/SEG] [SEG]defaultMaximumHeight Object Z and MeasureFn RealNumber S and UnitOfMeasure V[/SEG] [SEG]greaterThan RealNumber U and RealNumber W[/SEG] [SEG]greaterThan RealNumber T and RealNumber W[/SEG] [SEG]greaterThan RealNumber S and RealNumber W[/SEG][/AND][/SEG] [SEG][AND][SEG]defaultMaximumSphereRadius Object Z and MeasureFn RealNumber R and UnitOfMeasure V[/SEG] [SEG]greaterThan MultiplicationFn RealNumber R and 2 and RealNumber W[/SEG][/AND][/SEG][/OR][/SEG][/AND][/IF_A][IF_C]canCarry Entity X and Object Y[/IF_C] |
(=>
(instance ?X Protecting)
(hasPurpose ?X
(exists (?OBJ ?T ?H ?HARM)
(and
(instance ?OBJ Object)
(patient ?X Object)
(subclass ?HARM
(KappaFn ?H
(and
(or
(instance ?H CriminalAction)
(instance ?H Damaging))
(=>
(holdsDuring ?T
(patient ?H ?OBJ))
(not
(holdsDuring ?T
(patient ?X ?OBJ)))))))
(or
(prevents ?X ?HARM)
(hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 20352-20373 |
[IF_A]instance Physical X and Protecting[/IF_A][IF_C]hasPurpose Physical X and entity Y entity Z, entity W and entity V [AND][SEG]instance entity Y and Object[/SEG] [SEG]patient Physical X and Object[/SEG] [SEG]subclass entity V and KappaFn entity W and [AND][SEG][OR][SEG]instance entity W and CriminalAction[/SEG] [SEG]instance entity W and Damaging[/SEG][/OR][/SEG] [SEG][IF_A]holdsDuring entity Z and patient entity W and entity Y[/IF_A][IF_C]holdsDuring entity Z and patient Physical X and entity Y[/IF_C][/SEG][/AND][/SEG] [SEG][OR][SEG]prevents Physical X and entity V[/SEG] [SEG]hinders Physical X and entity V[/SEG][/OR][/SEG][/AND][/IF_C] |
(=>
(instance ?T Truck)
(exists (?L)
(and
(subclass ?L Object)
(cargoType ?T ?L)))) |
Transportation.kif 2174-2179 |
[IF_A]instance TransportationDevice X and Truck[/IF_A][IF_C] Object Y [AND][SEG]subclass Object Y and Object[/SEG] [SEG]cargoType TransportationDevice X and Object Y[/SEG][/AND][/IF_C] |
(=>
(and
(equal ?P
(OrganicObjectFn ?ORG))
(subclass ?P Object))
(or
(subclass ?ORG Organism)
(subclass ?ORG AnatomicalStructure))) |
Economy.kif 5594-5601 |
[IF_A][AND][SEG]equal Object X and OrganicObjectFn OrganicObject Y[/SEG] [SEG]subclass Object X and Object[/SEG][/AND][/IF_A][IF_C][OR][SEG]subclass OrganicObject Y and Organism[/SEG] [SEG]subclass OrganicObject Y and AnatomicalStructure[/SEG][/OR][/IF_C] |
(=>
(and
(attribute ?X DutyFree)
(instance ?X Store))
(exists (?AREA ?OBJ ?O ?SELL)
(and
(instance ?AREA GeopoliticalArea)
(located ?X ?AREA)
(subclass ?O Object)
(importCommodityType ?AREA ?O)
(instance ?OBJ ?O)
(instance ?SELL Selling)
(patient ?SELL ?OBJ)
(located ?SELL ?X)))) |
Hotel.kif 1489-1502 |
[IF_A][AND][SEG]attribute Object X and DutyFree[/SEG] [SEG]instance Object X and Store[/SEG][/AND][/IF_A][IF_C] GeopoliticalArea Y Entity Z, Object W and Process V [AND][SEG]instance GeopoliticalArea Y and GeopoliticalArea[/SEG] [SEG]located Object X and GeopoliticalArea Y[/SEG] [SEG]subclass Object W and Object[/SEG] [SEG]importCommodityType GeopoliticalArea Y and Object W[/SEG] [SEG]instance Entity Z and Object W[/SEG] [SEG]instance Process V and Selling[/SEG] [SEG]patient Process V and Entity Z[/SEG] [SEG]located Process V and Object X[/SEG][/AND][/IF_C] |
(=>
(and
(offers ?AGENT ?CATALOG)
(catalogItem ?CLASS ?CATALOG)
(subclass ?CLASS Object)
(instance ?PROCESSINST ?PROCESS)
(subclass ?PROCESS Process)
(instance ?OBJ ?CLASS)
(patient ?PROCESSINST ?OBJ))
(capability ?PROCESS agent ?AGENT)) |
Catalog.kif 98-107 |
[IF_A][AND][SEG]offers AutonomousAgent X and Catalog Y[/SEG] [SEG]catalogItem Entity Z and Catalog Y[/SEG] [SEG]subclass Entity Z and Object[/SEG] [SEG]instance Process W and Process V[/SEG] [SEG]subclass Process V and Process[/SEG] [SEG]instance Entity U and Entity Z[/SEG] [SEG]patient Process W and Entity U[/SEG][/AND][/IF_A][IF_C]capability Process V, agent and AutonomousAgent X[/IF_C] |
(=>
(and
(lengthLimit ?ROBOT
(MeasureFn ?LENGTHLIMIT ?UNIT))
(instance ?INSTANCE ?OBJECT)
(subclass ?OBJECT Object)
(or
(and
(defaultMaximumLength ?OBJECT
(MeasureFn ?LENGTH ?UNIT))
(defaultMaximumWidth ?OBJECT
(MeasureFn ?WIDTH ?UNIT))
(defaultMaximumHeight ?OBJECT
(MeasureFn ?HEIGHT ?UNIT)))
(or
(and
(greaterThan ?LENGTH ?LENGTHLIMIT)
(greaterThan ?WIDTH ?LENGTHLIMIT))
(and
(greaterThan ?LENGTH ?LENGTHLIMIT)
(greaterThan ?HEIGHT ?LENGTHLIMIT))
(and
(greaterThan ?WIDTH ?LENGTHLIMIT)
(greaterThan ?HEIGHT ?LENGTHLIMIT)))
(and
(defaultMaximumSphereRadius ?OBJECT
(MeasureFn ?RADIUS ?UNIT))
(greaterThan
(MultiplicationFn ?RADIUS 2)
(DivisionFn ?LENGTHLIMIT 2)))))
(not
(canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 61-86 |
[IF_A][AND][SEG]lengthLimit CarryBot X and MeasureFn RealNumber Y and UnitOfMeasure Z[/SEG] [SEG]instance Object W and Object V[/SEG] [SEG]subclass Object V and Object[/SEG] [SEG][OR][SEG][AND][SEG]defaultMaximumLength Object V and MeasureFn RealNumber U and UnitOfMeasure Z[/SEG] [SEG]defaultMaximumWidth Object V and MeasureFn RealNumber T and UnitOfMeasure Z[/SEG] [SEG]defaultMaximumHeight Object V and MeasureFn RealNumber S and UnitOfMeasure Z[/SEG][/AND][/SEG] [SEG][OR][SEG][AND][SEG]greaterThan RealNumber U and RealNumber Y[/SEG] [SEG]greaterThan RealNumber T and RealNumber Y[/SEG][/AND][/SEG] [SEG][AND][SEG]greaterThan RealNumber U and RealNumber Y[/SEG] [SEG]greaterThan RealNumber S and RealNumber Y[/SEG][/AND][/SEG] [SEG][AND][SEG]greaterThan RealNumber T and RealNumber Y[/SEG] [SEG]greaterThan RealNumber S and RealNumber Y[/SEG][/AND][/SEG][/OR][/SEG] [SEG][AND][SEG]defaultMaximumSphereRadius Object V and MeasureFn RealNumber R and UnitOfMeasure Z[/SEG] [SEG]greaterThan MultiplicationFn RealNumber R and 2 and DivisionFn RealNumber Y and 2[/SEG][/AND][/SEG][/OR][/SEG][/AND][/IF_A][IF_C]canCarry CarryBot X and Object W[/IF_C] |
(=>
(and
(massLimit ?ROBOT
(MeasureFn ?MASSLIMIT ?UNITOFMASS))
(instance ?INSTANCE ?OBJECT)
(subclass ?OBJECT Object)
(instance ?UNITOFMASS UnitOfMass)
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?NUM ?UNITOFMASS))
(greaterThan ?NUM ?MASSLIMIT))
(not
(canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 94-103 |
[IF_A][AND][SEG]massLimit CarryBot X and MeasureFn RealNumber Y and UnitOfMeasure Z[/SEG] [SEG]instance Object W and Object V[/SEG] [SEG]subclass Object V and Object[/SEG] [SEG]instance UnitOfMeasure Z and UnitOfMass[/SEG] [SEG]defaultMaximumMeasure Object V and MeasureFn RealNumber U and UnitOfMeasure Z[/SEG] [SEG]greaterThan RealNumber U and RealNumber Y[/SEG][/AND][/IF_A][IF_C]canCarry CarryBot X and Object W[/IF_C] |
(=>
(and
(freeRoomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?O ?OBJ)
(located ?O ?R)
(instance ?P Process)
(agent ?P ?GUEST)
(or
(patient ?P ?O)
(instrument ?P ?O)
(resource ?P ?O)))
(price ?O
(MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 346-361 |
[IF_A][AND][SEG]freeRoomAmenity HotelUnit X and Physical Y[/SEG] [SEG]subclass Physical Y and Object[/SEG] [SEG]instance TemporaryResidence Z and HotelUnit X[/SEG] [SEG]stays Human W and TemporaryResidence Z[/SEG] [SEG]element TemporaryResidence Z and PropertyFn AutonomousAgent V[/SEG] [SEG]instance Object U and Physical Y[/SEG] [SEG]located Object U and TemporaryResidence Z[/SEG] [SEG]instance Process T and Process[/SEG] [SEG]agent Process T and Human W[/SEG] [SEG][OR][SEG]patient Process T and Object U[/SEG] [SEG]instrument Process T and Object U[/SEG] [SEG]resource Process T and Object U[/SEG][/OR][/SEG][/AND][/IF_A][IF_C]price Object U, MeasureFn 0 and UnitedStatesDollar and Human W[/IF_C] |
(=>
(and
(offersAtTime ?AGENT ?CATALOG ?TIMEINT)
(catalogItem ?CLASS ?CATALOG)
(subclass ?CLASS Object)
(instance ?PROCESSINSTANCE ?PROCESS)
(subclass ?PROCESS Process)
(instance ?OBJ ?CLASS)
(patient ?PROCESSINSTANCE ?OBJ)
(instance ?TIMEINT ?TIME)
(subclass ?TIME TimeInterval))
(capabilityDuring ?PROCESS agent ?AGENT ?TIME)) |
Catalog.kif 139-150 |
[IF_A][AND][SEG]offersAtTime AutonomousAgent X, Catalog Y and TimeInterval Z[/SEG] [SEG]catalogItem Entity W and Catalog Y[/SEG] [SEG]subclass Entity W and Object[/SEG] [SEG]instance Process V and Process U[/SEG] [SEG]subclass Process U and Process[/SEG] [SEG]instance Entity T and Entity W[/SEG] [SEG]patient Process V and Entity T[/SEG] [SEG]instance TimeInterval Z and TimeInterval S[/SEG] [SEG]subclass TimeInterval S and TimeInterval[/SEG][/AND][/IF_A][IF_C]capabilityDuring Process U, agent, AutonomousAgent X and TimeInterval S[/IF_C] |
(=>
(and
(naturalHazardTypeInArea ?AREA ?TYPE)
(subclass ?TYPE Object))
(exists (?ITEM)
(and
(instance ?ITEM ?TYPE)
(located ?ITEM ?AREA)))) |
Geography.kif 3726-3733 |
[IF_A][AND][SEG]naturalHazardTypeInArea GeographicArea X and Physical Y[/SEG] [SEG]subclass Physical Y and Object[/SEG][/AND][/IF_A][IF_C] Physical Z [AND][SEG]instance Physical Z and Physical Y[/SEG] [SEG]located Physical Z and GeographicArea X[/SEG][/AND][/IF_C] |
| (subclass Object Physical) |
Merge.kif 839-839 |
subclass Object and Physical |
| (subclass TornadoDamage Object) |
Weather.kif 3379-3379 |
subclass TornadoDamage and Object |
| (subclass Shrapnel Object) |
MilitaryDevices.kif 2253-2253 |
subclass Shrapnel and Object |
| (subclass Magnet Object) |
Cars.kif 3944-3944 |
subclass Magnet and Object |
| (subclass TwoDimensionalObject Object) |
Mid-level-ontology.kif 5291-5291 |
subclass TwoDimensionalObject and Object |
| (subclass TransitwayObstacle Object) |
Mid-level-ontology.kif 16775-16775 |
subclass TransitwayObstacle and Object |
| (subclass ContactSite Object) |
Mid-level-ontology.kif 26952-26952 |
subclass ContactSite and Object |
| (subclass SphericalObject Object) |
Mid-level-ontology.kif 27986-27986 |
subclass SphericalObject and Object |
| (subclass SelfConnectedObject Object) |
Merge.kif 855-855 |
subclass SelfConnectedObject and Object |
| (subclass Region Object) |
Merge.kif 1286-1286 |
subclass Region and Object |
| (subclass AutonomousAgent Object) |
Merge.kif 1591-1591 |
subclass AutonomousAgent and Object |
| (subclass AstronomicalBody Object) |
Merge.kif 14197-14197 |
subclass AstronomicalBody and Object |
| (subclass Artifact Object) |
Merge.kif 15853-15853 |
subclass Artifact and Object |
