(=>
(attribute ?H ObsessiveCompulsiveDisorder)
(exists (?COL ?C)
(and
(memberType ?COL ?C)
(or
(subclass ?C Investigating)
(subclass ?C Cleaning))
(=>
(instance ?CI ?C)
(and
(agent ?CI ?H)
(not
(wants ?H ?CI))))))) |
Medicine.kif 4025-4038 |
|
(=>
(instance ?D CleaningDevice)
(hasPurpose ?D
(exists (?C)
(and
(instance ?C Cleaning)
(instrument ?C ?D))))) |
Mid-level-ontology.kif 5585-5591 |
|
(=>
(instance ?X RoomCleaningService)
(exists (?MAID ?PLACE ?CLEAN)
(and
(attribute ?MAID Maid)
(serviceProvider ?X ?MAID)
(located ?X ?PLACE)
(subProcess ?CLEAN ?X)
(instance ?CLEAN Cleaning)
(patient ?CLEAN ?PLACE)
(agent ?CLEAN ?MAID)))) |
Hotel.kif 1923-1933 |
|