(=>
(<=>
(element ?ELEMENT ?SET1)
(element ?ELEMENT ?SET2))
(equal ?SET1 ?SET2)) |
Merge.kif 5416-5420 |
|
(=>
(=>
(element ?ELEMENT ?SUBSET)
(element ?ELEMENT ?SET))
(subset ?SUBSET ?SET)) |
Merge.kif 5402-5406 |
|
(=>
(and
(attribute ?X TravelerAccommodation)
(element ?CASINO
(PropertyFn ?X))
(instance ?CASINO Casino))
(attribute ?X CasinoHotels)) |
Hotel.kif 1452-1457 |
|
(=>
(and
(element ?ROOM
(PropertyFn ?HOTEL))
(attribute ?ROOM AnnexRoom)
(instance ?ROOM HotelRoom))
(exists (?BLDG1 ?BLDG2 ?FRNT)
(and
(subOrganization ?FRNT ?HOTEL)
(instance ?FRNT HotelFrontDesk)
(located ?FRNT ?BLDG1)
(element ?BLDG1
(PropertyFn ?HOTEL))
(element ?BLDG2
(PropertyFn ?HOTEL))
(part ?ROOM ?BLDG2)
(not
(equal ?BLDG1 ?BLDG2))))) |
Hotel.kif 1127-1140 |
|
(=>
(and
(element ?X
(PropertyFn ?HOTEL))
(instance ?X RoomInventory))
(forall (?Y)
(=>
(member ?Y ?X)
(element ?Y
(PropertyFn ?HOTEL))))) |
Hotel.kif 147-154 |
|
(=>
(and
(freeFunctionRoomAmenity ?FR ?PHYS)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?AGENT))
(instance ?R Renting)
(patient ?R ?RM)
(destination ?R ?CUST)
(instance ?X ?PHYS)
(possesses ?AGENT ?X)
(customer ?CUST ?AGENT)
(or
(and
(instance ?X Process)
(or
(agent ?X ?CUST)
(experiencer ?X ?CUST)))
(and
(possesses ?AGENT ?X)
(instance ?X Object)
(uses ?X ?CUST))))
(price ?X
(MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 841-862 |
|
(=>
(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 |
|
(=>
(and
(freeRoomAmenity ?ROOM ?PROC)
(subclass ?PROC Process)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(patient ?P ?GUEST)
(or
(instance ?P ?PROC)
(and
(instance ?S ?PROC)
(subProcess ?P ?S)))
(located ?P ?R))
(price ?P
(MeasureFn 0.0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 364-378 |
|
(=>
(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 811-832 |
|
(=>
(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
(exists (?PROC)
(and
(agent ?PROC ?CUST)
(or
(instrument ?PROC ?O)
(patient ?PROC ?O)
(resource ?PROC ?O)))) ?HOTEL ?CUST)))) |
Hotel.kif 294-313 |
|
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?AGENT)
(instance ?S Set)
(patient ?DECIDE ?S)
(element ?M ?S))
(believes ?AGENT
(exists (?CLASS)
(and
(instance ?M ?CLASS)
(subclass ?CLASS IntentionalProcess)
(capability ?CLASS agent ?AGENT))))) |
Merge.kif 12074-12086 |
|
(=>
(and
(instance ?X HotelFunctionRoom)
(element ?X
(PropertyFn ?HOTEL)))
(hasPurpose ?X
(exists (?RENT)
(and
(instance ?RENT Renting)
(patient ?RENT ?X))))) |
Hotel.kif 1696-1704 |
|
(=>
(and
(instance ?X Nursery)
(element ?X
(PropertyFn ?HOTEL))
(attribute ?HOTEL TravelerAccommodation))
(exists (?NANNY ?CARE)
(and
(attribute ?X CommunalAttribute)
(employs ?HOTEL ?NANNY)
(hasPurpose ?NANNY
(and
(instance ?CARE ChildCareService)
(serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1902-1914 |
|
(=>
(and
(maxRoomCapacity ?ROOM ?NUM)
(instance ?X ?ROOM)
(element ?X
(PropertyFn ?AGENT)))
(modalAttribute
(exists (?GRP ?PPL)
(and
(instance ?GRP GroupOfPeople)
(memberCount ?GRP ?PPL)
(lessThanOrEqualTo ?PPL ?NUM)
(stays ?GRP ?X))) Possibility)) |
Hotel.kif 479-490 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S)
(instance ?P Process)
(agent ?P ?O))
(frequency Process ?Q)) |
Mid-level-ontology.kif 31613-31620 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 31476-31481 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(circumfrence ?O ?Q)) |
Mid-level-ontology.kif 31401-31406 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(diameter ?O ?Q)) |
Mid-level-ontology.kif 31454-31459 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(height ?O ?Q)) |
Mid-level-ontology.kif 31380-31385 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(length ?O ?Q)) |
Mid-level-ontology.kif 31349-31354 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(measure ?O ?Q)) |
Mid-level-ontology.kif 31300-31305 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(totalArea ?O ?Q)) |
Mid-level-ontology.kif 31505-31510 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(transformerCapacity ?O ?Q)) |
Mid-level-ontology.kif 31645-31650 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(voltageRatingPrimary ?O ?Q)) |
Mid-level-ontology.kif 31527-31532 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 31570-31575 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |