TreeView Knowledge Base Browser

appearance as argument number 1

(documentation element ChineseLanguage "(element ?ENTITY ?SET)是真的，以防 Set ?SET 已包含了这个 ?ENTITY。一个 Entity 可以是另外一个 Entity 的 element 当且仅当后者是一个 Set。")	chinese_format.kif 2289-2290
(documentation element EnglishLanguage "(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set.")	Merge.kif 5442-5444
(documentation element JapaneseLanguage "(element ?ENTITY ?SET) は、?ENTITY が Set ?SETに含まれている場合に当てはまる。Entity は、後者が Set の場合にのみ、別の Entity の element にすることができる。")	japanese_format.kif 957-959
(domain element 1 Entity)	Merge.kif 5439-5439	The number 1 argument of element is an instance of entity
(domain element 2 Set)	Merge.kif 5440-5440	The number 2 argument of element is an instance of set
(instance element BinaryPredicate)	Merge.kif 5438-5438	element is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage element "%1 %n 是 %2 的 element")	chinese_format.kif 488-488
(format EnglishLanguage element "%1 is %n an element of %2")	english_format.kif 493-493
(format FrenchLanguage element "%1 est %n un �lement de %2")	french_format.kif 285-285
(format ItalianLanguage element "%è %n un elemento di %2")	relations-it.txt 90-90
(format JapaneseLanguage element "%1 は %2 の element %n")	japanese_format.kif 2066-2066
(format PortugueseLanguage element "%1 e' %n um elemento de %2")	portuguese_format.kif 237-237
(format cz element "%1 %p{je} %n{nen�} an element of %2")	relations-cz.txt 291-291
(format de element "%1 ist ein element von %2 %n{nicht}")	relations-de.txt 633-633
(format hi element "%1 %2 kaa ghaTaka %n hai")	relations-hindi.txt 130-130
(format ro element "%1 %n{nu} este un element%t{element} al lui %2")	relations-ro.kif 306-306
(format sv element "%1 är %n{inte} ett element av %2")	relations-sv.txt 312-312
(format tg element "%1 %n ay ang elemento sa %2")	relations-tg.txt 195-195
(relatedInternalConcept member element)	Merge.kif 1292-1292	member is internally related to element
(termFormat ChineseLanguage element "元件")	domainEnglishFormat.kif 21801-21801	member is internally related to element
(termFormat ChineseLanguage element "元素")	chinese_format.kif 489-489	member is internally related to element
(termFormat ChineseTraditionalLanguage element "元件")	domainEnglishFormat.kif 21800-21800	member is internally related to element
(termFormat EnglishLanguage element "element")	domainEnglishFormat.kif 21799-21799	member is internally related to element
(termFormat de element "element")	terms-de.txt 195-195	member is internally related to element
(termFormat tg element "elemento")	relations-tg.txt 196-196	member is internally related to element

antecedent

(=> (<=> (element ?ELEMENT ?SET1) (element ?ELEMENT ?SET2)) (equal ?SET1 ?SET2))	Merge.kif 5446-5450	If an entity is an element of a set if and only if the entity is an element of another set, then equal the set and the other set
(=> (=> (element ?ELEMENT ?SUBSET) (element ?ELEMENT ?SET)) (subset ?SUBSET ?SET))	Merge.kif 5432-5436	If if an entity is an element of a set, then the entity is an element of another set , then the set is a subset of the other set
(=> (and (attribute ?X TravelerAccommodation) (element ?CASINO (PropertyFn ?X)) (instance ?CASINO Casino)) (attribute ?X CasinoHotels))	Hotel.kif 1463-1468	If traveler accommodation is an attribute of an agent and an entity is an element of belongings of the agent and the entity is an instance of casino, then casino hotels is an attribute of the agent
(=> (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 (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 847-868	If a kind of physical is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then the object is price 0 united states dollar(s) for the agent
(=> (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 use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the object is price 0 united states dollar(s) for the human
(=> (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	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0.0 united states dollar(s) for the human
(=> (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 use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
(=> (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	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
(=> (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 12164-12176	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
(=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X)))))	Hotel.kif 1707-1715	If a physical is an instance of hotel function room and the physical is an element of belongings of an agent, then the physical has the purpose there exists an entity such that the entity is an instance of renting and the physical is a patient of the entity
(=> (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 1913-1925	If an object is an instance of nursery and the object is an element of belongings of an agent and traveler accommodation is an attribute of the agent, then there exist a cognitive agent and an entity such that communal is an attribute of the object and the agent employs the cognitive agent and the cognitive agent has the purpose the entity is an instance of child-care service and the cognitive agent provides a service during the entity
(=> (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	If a kind of stationary artifact can accommodate at most an integer people and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exist another entity and a third entity such that the other entity is an instance of group of people and the third entity is a member count of the other entity and the third entity is less than or equal to the integer and the other entity stays at the entity has the modal force of possibility
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 33261-33268	If members of a set have the measure a time duration in terms of a measurement attribute and the set is an instance of set and an agent is an element of the set and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 33124-33129	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a self connected object is an element of the set, then the approximate diameter of the self connected object is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumference ?O ?Q))	Mid-level-ontology.kif 33048-33053	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and an entity is an element of the set, then circumference the entity and the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 33102-33107	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and an entity is an element of the set, then the diameter of the entity is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 33027-33032	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a self connected object is an element of the set, then the height of the self connected object is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 32996-33001	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the length of the physical is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 32947-32952	If members of a set have the measure a physical quantity in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the measure of the physical is the physical quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 33153-33158	If members of a set have the measure an area measure in terms of a measurement attribute and the set is an instance of set and a region is an element of the set, then the area measure is a total area of the region
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 33293-33298	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the capacity of the transformer is the function quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 33175-33180	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 33218-33223	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the FunctionQuantity of the transformer is the function quantity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 (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 6116-6130	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 (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A))))))	Merge.kif 12196-12212	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 31922-31952	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and equal the other entity and the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
(=> (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
(=> (and (subset ?SUBSET ?SET) (element ?ELEMENT ?SUBSET)) (element ?ELEMENT ?SET))	Merge.kif 5426-5430	If a set is a subset of another set and an entity is an element of the set, then the entity is an element of the other set
(=> (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
(=> (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 ?SET NonNullSet) (exists (?INST) (element ?INST ?SET)))	Merge.kif 5557-5560	If a set is an instance of non null set, then there exists an entity such that the entity is an element of the set
(=> (instance ?SET NullSet) (not (exists (?INST) (element ?INST ?SET))))	Merge.kif 5545-5549	If a set is an instance of null set, then there doesn't exist an entity such that the entity is an element of the set
(=> (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 (=> (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY)) (exists (?AA) (and (instance ?AA AutonomousAgent) (element ?OBJ (PropertyFn ?AA)) (not (equal ?AA (CitizenryFn ?COUNTRY))))))))	Economy.kif 905-919	If a cognitive agent is a member of capitalism, 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 there exists a fourth entity such that 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 4313-4316	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: