consequent

(=>     (activityCapability ?AGENT ?ACT)     (exists (?LOC)         (and             (element ?LOC                 (PropertyFn ?AGENT))             (capability ?ACT located ?LOC))))	Hotel.kif 603-608	If an agent can hold kinds of a kind of process, then there exists an object such that the object is an element of belongings of the agent and the object is capable of doing a kind of process as a located
(=>     (and         (attribute ?X TravelerAccommodation)         (capability RoomCleaningService agent ?X))     (exists (?MAID ?HOTELROOM)         (and             (employs ?X ?MAID)             (attribute ?MAID Maid)             (instance ?HOTELROOM HotelUnit)             (part ?HOTELROOM                 (PropertyFn ?X))             (capability RoomCleaningService patient ?HOTELROOM)             (capability RoomCleaningService serviceProvider ?MAID))))	Hotel.kif 1946-1957	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
(=>     (and         (customer ?CUST ?AGENT)         (propertyAmenity ?AGENT ?PHYS)         (subclass ?PHYS Process))     (modalAttribute         (exists (?S ?LOC ?PROC)             (and                 (element ?LOC                     (PropertyFn ?AGENT))                 (agent ?S ?AGENT)                 (patient ?S ?CUST)                 (or                     (instance ?S ?PHYS)                     (and                         (instance ?PROC ?PHYS)                         (subProcess ?S ?PROC)))                 (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
(=>     (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 1135-1148	If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room, then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of front desk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and equal the other object and the third object
(=>     (and         (element ?X             (PropertyFn ?HOTEL))         (instance ?X RoomInventory))     (forall (?Y)         (=>             (member ?Y ?X)             (element ?Y                 (PropertyFn ?HOTEL)))))	Hotel.kif 147-154	If a collection is an element of belongings of an agent and the collection is an instance of room inventory, then for all a physical if the physical is a member of the collection, then the physical is an element of belongings of the agent
(=>     (and         (instance ?CG CapitalMeanOfProduction)         (attribute ?CGO ?CG))     (exists (?M ?A ?MONEY ?AGENT ?PROPERTYITEM)         (or             (and                 (instance ?MONEY Currency)                 (equal ?CGO ?MONEY))             (and                 (element ?PROPERTYITEM                     (PropertyFn ?AGENT))                 (equal ?PROPERTYITEM ?CGO))             (and                 (instance ?A Artifact)                 (equal ?CGO ?A)))))	Economy.kif 6111-6125	If an attribute is an instance of capital goods and the attribute is an attribute of the attributeO, then there exist an entity, another entity,, , the entityONEY,, , the other entityGENT and a fourth entity such that the entityONEY is an instance of currency and equal the attributeO and the entityONEY or the fourth entity is an element of belongings of the other entityGENT and equal the fourth entity and the attributeO or the other entity is an instance of artifact and equal the attributeO and the other entity
(=>     (and         (roomAmenity ?ROOM ?SVC)         (subclass ?SVC Process))     (modalAttribute         (exists (?X ?S ?HOTEL ?PROC)             (and                 (instance ?X ?ROOM)                 (element ?X                     (PropertyFn ?HOTEL))                 (agent ?S ?HOTEL)                 (or                     (instance ?S ?SVC)                     (and                         (instance ?PROC ?SVC)                         (subProcess ?S ?PROC)))                 (located ?S ?X))) Possibility))	Hotel.kif 317-332	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of a kind of hotel unit and the entity is an element of belongings of the third entity and the third entity is an agent of the other entity and the other entity is an instance of the kind of physical or the fourth entity is an instance of the kind of physical and the other entity is a subprocess of the fourth entity and the other entity is located at the entity has the modal force of possibility
(=>     (attribute ?X TravelerAccommodation)     (hasPurpose ?X         (exists (?GUEST ?ROOM ?TI)             (and                 (rents ?GUEST ?X ?ROOM ?TI)                 (instance ?ROOM HotelUnit)                 (element ?ROOM                     (PropertyFn ?X))))))	Hotel.kif 45-52	If traveler accommodation is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object rents the other entity to the entity during the third entity and the other entity is an instance of hotel unit and the other entity is an element of belongings of the object
(=>     (attribute ?X WaterThemePark)     (exists (?POOL)         (and             (instance ?POOL SwimmingPool)             (element ?POOL                 (PropertyFn ?X)))))	naics.kif 11437-11442	If water theme park is an attribute of an agent, then there exists an entity such that the entity is an instance of swimming pool and the entity is an element of belongings of the agent
(=>     (equal         (WealthFn ?PERSON) ?AMOUNT)     (monetaryValue         (PropertyFn ?PERSON) ?AMOUNT))	Merge.kif 7908-7912	If equal value of belongings of an agent and a currency measure, then value of belongings of the agent is the currency measure
(=>     (instance ?ROOM HotelUnit)     (exists (?HOTEL)         (and             (attribute ?HOTEL TravelerAccommodation)             (element ?ROOM                 (PropertyFn ?HOTEL)))))	Hotel.kif 103-108	If an entity is an instance of hotel unit, then there exists an agent such that traveler accommodation is an attribute of the agent and the entity is an element of belongings of the agent
(=>     (instance ?ROOM HotelUnit)     (hasPurpose ?ROOM         (exists (?AGENT ?CUST ?TI)             (and                 (not                     (equal ?AGENT ?CUST))                 (element ?ROOM                     (PropertyFn ?AGENT))                 (rents ?CUST ?AGENT ?ROOM ?TI)))))	Hotel.kif 110-117	If a physical is an instance of hotel unit, then the physical has the purpose there exist an entity, another entity and a third entity such that equal the entity and the other entity and the physical is an element of belongings of the entity and the entity rents the physical to the other entity during the third entity
(=>     (instance ?X HotelFunctionRoom)     (exists (?HOTEL)         (element ?X             (PropertyFn ?HOTEL))))	Hotel.kif 1702-1705	If an entity is an instance of hotel function room, then there exists an agent such that the entity is an element of belongings of the agent
(=>     (member ?CAPITALIST Capitalism)     (believes ?CAPITALIST         (exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA)             (and                 (instance ?MEANOFPRODUCTION MeanOfProduction)                 (attribute ?OBJ ?MEANOFPRODUCTION)                 (instance ?COUNTRY GeopoliticalArea)                 (located ?OBJ ?COUNTRY)                 (instance ?AA AutonomousAgent)                 (element ?OBJ                     (PropertyFn ?AA))                 (not                     (equal ?AA                         (CitizenryFn ?COUNTRY)))))))	Economy.kif 905-917	If a cognitive agent is a member of capitalism, then the cognitive agent believes there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of mean of production and the entity is an attribute of the other entity and the third entity is an instance of geopolitical area and the other entity is located at the third entity and the fourth entity is an instance of agent and the other entity is an element of belongings of the fourth entity and equal the fourth entity and not the citizenry of the third entity
(=>     (member ?COMMUNIST Communism)     (believes ?COMMUNIST         (=>             (and                 (instance ?MEANOFPRODUCTION MeanOfProduction)                 (attribute ?OBJ ?MEANOFPRODUCTION)                 (instance ?COUNTRY GeopoliticalArea)                 (located ?OBJ ?COUNTRY))             (element ?OBJ                 (PropertyFn                     (CitizenryFn ?COUNTRY))))))	Economy.kif 880-889	If a cognitive agent is a member of communism, then the cognitive agent believes if an entity is an instance of mean of production and the entity is an attribute of another entity and a third entity is an instance of geopolitical area and the other entity is located at the third entity, then the other entity is an element of belongings of the citizenry of the third entity
(=>     (possesses ?PERSON ?OBJ)     (element ?OBJ         (PropertyFn ?PERSON)))	Merge.kif 4338-4341	If an agent possesses an object, then the object is an element of belongings of the agent
(=>     (propertyPolicy ?AGENT ?POLICY)     (forall (?X)         (=>             (element ?X                 (PropertyFn ?AGENT))             (policyLocationCoverage ?POLICY ?X))))	Hotel.kif 619-624	If an agent has a policy, then for all an object if the object is an element of belongings of the agent, then the policy covers the object
(=>     (roomAmenity ?X HotelMiniBar)     (exists (?ROOM ?BAR ?HOTEL)         (and             (instance ?ROOM ?X)             (element ?ROOM                 (PropertyFn ?HOTEL))             (instance ?BAR HotelMiniBar)             (located ?BAR ?ROOM)             (forall (?ITEM)                 (=>                     (member ?ITEM ?BAR)                     (exists (?AMT)                         (price ?ITEM ?AMT ?HOTEL)))))))	Hotel.kif 1738-1750	If mini bar is an amenity in a kind of hotel unit, then there exist an object, a collection and an agent such that the object is an instance of a kind of hotel unit and the object is an element of belongings of the agent and the collection is an instance of mini bar and the collection is located at the object and for all a physical if the physical is a member of the collection, then there exists a currency measure such that the physical is price the currency measure for the agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners