(=>     (and         (instance ?KEEP Keeping)         (patient ?KEEP ?OBJ))     (exists (?PLACE)         (forall (?TIME)             (=>                 (temporalPart ?TIME                     (WhenFn ?KEEP))                 (holdsDuring ?TIME                     (located ?OBJ ?PLACE))))))	Merge.kif 12325-12333	If a process is an instance of keeping and an entity is a patient of the process, then there exists another entity such that for all a time position if the time position is a part of the time of existence of the process, then the entity is located at the other entity holds during the time position
(=>     (and         (instance ?PERSON Human)         (equal             (DescendantsFn ?PERSON) ?DESCENDANTS))     (forall (?MEMBER)         (<=>             (member ?MEMBER ?DESCENDANTS)             (ancestor ?MEMBER ?PERSON))))	Mid-level-ontology.kif 8634-8641	If a human is an instance of human and the descendants of the human is equal to a family group, then for all an organism the organism is a member of the family group if and only if the human is the ancestor of the organism
(=>     (and         (instance ?POINT1 TimePoint)         (instance ?POINT2 TimePoint)         (instance ?INTERVAL TimeInterval)         (equal             (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))     (forall (?POINT)         (<=>             (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)             (temporalPart ?POINT ?INTERVAL))))	Merge.kif 8528-8537	If a time point is an instance of time point and another time point is an instance of time point and a time interval is an instance of time interval and interval between the time point and the other time point is equal to the time interval, then for all a third time point the third time point is between or at the time point and the other time point if and only if the third time point is a part of the time interval
(=>     (and         (instance ?POLICY DailyHousekeepingPolicy)         (policyOwner ?AGENT ?POLICY))     (modalAttribute         (exists (?GUEST ?ROOM ?STAY)             (and                 (guest ?GUEST ?AGENT)                 (stays ?GUEST ?ROOM)                 (equal ?STAY                     (WhenFn                         (stays ?GUEST ?ROOM)))                 (holdsDuring ?STAY                     (forall (?DAY)                         (=>                             (and                                 (instance ?DAY Day)                                 (during ?DAY ?STAY))                             (exists (?RC)                                 (and                                     (instance ?RC RoomCleaningService)                                     (patient ?RC ?ROOM)                                     (during ?RC ?DAY)))))))) Likely))	Hotel.kif 2665-2685	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity, another entity and a third entity such that the entity is a guest at the organization and the entity stays at the other entity and the third entity is equal to the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity has the modal force of likely
(=>     (and         (instance ?RELATION ReflexiveRelation)         (reflexiveOn ?RELATION ?CLASS)         (instance ?RELATION Predicate))     (forall (?INST)         (=>             (instance ?INST ?CLASS)             (?RELATION ?INST ?INST))))	Merge.kif 3610-3618	If a binary relation is an instance of reflexive relation and the binary relation is reflexive on a class and the binary relation is an instance of predicate, then for all an entity if the entity is an instance of the class, then the binary relation the entity and the entity
(=>     (and         (instance ?SAMPLE_COLL Collection)         (instance ?POP_COLL Collection)         (instance ?EXPERIMENT Experimenting)         (instance ?AGENT CognitiveAgent)         (agent ?EXPERIMENT ?AGENT)         (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))     (forall (?ATTRIBUTE)         (=>             (and                 (instance ?ATTRIBUTE Attribute)                 (property ?SAMPLE_COLL ?ATTRIBUTE)                 (inScopeOfInterest ?AGENT ?ATTRIBUTE)                 (not                     (equal ?ATTRIBUTE RepresentativeSample)))             (property ?POP_COLL ?ATTRIBUTE))))	UXExperimentalTerms.kif 501-517	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL the attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL the attribute the attribute
(=>     (and         (instance ?SUIT ClothingSuit)         (member ?ITEM1 ?SUIT)         (holdsDuring ?TIME             (wears ?PERSON ?ITEM1)))     (forall (?ITEM2)         (=>             (member ?ITEM2 ?SUIT)             (holdsDuring ?TIME                 (wears ?PERSON ?ITEM2)))))	Mid-level-ontology.kif 6243-6251	If a collection is an instance of clothing suit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
(=>     (and         (instance ?VISITS Collection)         (instance ?HYPERLINK HypertextLink)         (forall (?ACCESSING)             (and                 (member ?ACCESSING ?PAGE)                 (and                     (instance ?ACCESSING AccessingWebPage)                     (component ?PAGE ?HYPERLINK)))))     (exists (?CLICKS)         (and             (instance ?CLICKS Collection)             (forall (?CLICK)                 (=>                     (and                         (instance ?CLICK RequestingHyperlink)                         (patient ?CLICK ?HYPERLINK))                     (member ?CLICK ?CLICKS)))             (equal                 (ClickThroughRateFn ?VISITS ?HYPERLINK)                 (DivisionFn                     (CardinalityFn ?CLICKS)                     (CardinalityFn ?VISITS))))))	UXExperimentalTerms.kif 3333-3356	If a collection is an instance of collection and a corpuscular object is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of accessing web page and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object in the collection is equal to the number of instances in the third collection and the number of instances in the collection
(=>     (and         (instance ?WAR War)         (agent ?WAR ?AGENT))     (or         (instance ?AGENT GeopoliticalArea)         (and             (instance ?AGENT Organization)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?AGENT)                     (instance ?MEMBER GeopoliticalArea))))))	Merge.kif 13477-13488	If a process is an instance of war and an agent is an agent of the process, then the agent is an instance of geopolitical area or the agent is an instance of organization and for all a physical if the physical is a member of the agent, then the physical is an instance of geopolitical area
(=>     (and         (instance ?X Buffet)         (attribute ?X Breakfast))     (modalAttribute         (forall (?FOOD)             (=>                 (member ?FOOD ?X)                 (attribute ?FOOD Breakfast))) Likely))	Dining.kif 295-303	If an object is an instance of buffet and breakfast is an attribute of the object, then the statement for all an entity if the entity is a member of the object, then breakfast is an attribute of the entity has the modal force of likely
(=>     (and         (instance ?X Outfit)         (member ?ITEM1 ?X)         (holdsDuring ?TIME             (wears ?PERSON ?ITEM1)))     (forall (?ITEM2)         (=>             (member ?ITEM2 ?X)             (holdsDuring ?TIME                 (wears ?PERSON ?ITEM2)))))	Dining.kif 469-479	If a collection is an instance of outfit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
(=>     (and         (numberSeniorOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL ?AGE)         (and             (instance ?COL GroupOfPeople)             (forall (?X)                 (=>                     (member ?X ?COL)                     (and                         (instance ?X HumanAdult)                         (age ?X                             (MeasureFn ?AGE YearDuration))                         (greaterThanOrEqualTo ?AGE 60))))             (memberCount ?COL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2936-2951	If a hotel reservation is for an integer &umberSeniorOccupant$"seniors" and an agent fulfills the hotel reservation, then there exist a collection and a real number such that the collection is an instance of group of people and for all a physical if the physical is a member of the collection, then the physical is an instance of human adult and the age of the physical is the real number year duration(s) and the real number is greater than or equal to 60 and the integer is a member count of the collection and the collection is a potential customer for the agent
(=>     (and         (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)         (equal ?QUANT             (PerFn ?PRICE                 (measure ?TIME ?U)))         (instance ?U UnitOfDuration)         (immediateInstance ?ITEM ?OBJ)         (instance ?R Renting)         (patient ?R ?ITEM)         (agent ?R ?CUSTOMER)         (time ?R ?TIMEINT))     (forall (?X)         (=>             (exists (?DURATION)                 (and                     (during ?TIMEINT ?X)                     (instance ?X TimeInterval)                     (duration ?X                         (MeasureFn ?DURATION ?U))                     (lessThanOrEqualTo ?DURATION ?TIME)))             (exists (?P)                 (and                     (instance ?P Payment)                     (destination ?P ?AGENT)                     (agent ?P ?CUSTOMER)                     (transactionAmount ?P ?PRICE))))))	Catalog.kif 467-492	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a real number is an unit of measure and the unit of measure is an instance of unit of duration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is the other real number the unit of measure(s) and the other real number is less than or equal to the real number, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
(=>     (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 kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of object, then for all an object if the object is an instance of a kind of hotel unit, then there exists another physical such that the object is an instance of the kind of hotel unit and the other physical is an instance of the kind of physical and the other physical is located at the object
(=>     (and         (subProposition CompulsorySuffrageLaw             (RegionalLawFn ?POLITY))         (citizen ?AGENT ?POLITY))     (confersObligation         (forall (?VOTINGAGE ?AGE ?ELECTION)             (=>                 (and                     (citizen ?AGENT ?POLITY)                     (suffrageAgeMinimum ?POLITY                         (MeasureFn ?VOTINGAGE YearDuration))                     (age ?AGENT                         (MeasureFn ?AGE YearDuration))                     (greaterThanOrEqualTo ?AGE ?VOTINGAGE)                     (instance ?ELECTION                         (ElectionFn ?POLITY)))                 (exists (?VOTING)                     (and                         (instance ?VOTING                             (VotingFn ?ELECTION))                         (agent ?VOTING ?AGENT)))))         (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1173-1193	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
(=>     (and         (tangent ?LINE ?CIRCLE)         (sideOfFigure ?CURVE ?CIRCLE))     (exists (?POINT1)         (and             (pointOfFigure ?POINT1 ?LINE)             (pointOfFigure ?POINT1 ?CURVE)             (forall (?POINT2)                 (=>                     (and                         (pointOfFigure ?POINT2 ?LINE)                         (pointOfFigure ?POINT2 ?CURVE))                     (equal ?POINT1 ?POINT2))))))	Mid-level-ontology.kif 5259-5272	If a tangent of an oval is a tangent line and the size of the oval is an one dimensional figure, then there exists a geometric point such that the geometric point is a vertex of the tangent line and the geometric point is a vertex of the one dimensional figure and for all another geometric point if the other geometric point is a vertex of the tangent line and the other geometric point is a vertex of the one dimensional figure, then the geometric point is equal to the other geometric point
(=>     (and         (trichotomizingOn ?RELATION ?CLASS)         (instance ?RELATION RelationExtendedToQuantities))     (forall (?INST1 ?INST2)         (=>             (and                 (instance ?INST1 ?CLASS)                 (instance ?INST2 ?CLASS))             (or                 (?RELATION ?INST1 ?INST2)                 (?RELATION ?INST2 ?INST1)                 (equal ?INST1 ?INST2)))))	Merge.kif 3689-3701	If a binary relation is trichotomizing on a class and the binary relation is an instance of relation extended to quantities, then for all an entity and another entity if the entity is an instance of the class and the other entity is an instance of the class, then the binary relation the entity and the other entity or the binary relation the other entity and the entity or the entity is equal to the other entity
(=>     (and         (valence ?REL ?NUMBER)         (instance ?REL Predicate))     (forall (@ROW)         (=>             (?REL @ROW)             (equal                 (ListLengthFn                     (ListFn @ROW)) ?NUMBER))))	Merge.kif 3046-3053	If a relation has a positive integer argument(s) and the relation is an instance of predicate, then for all @ROW if the relation @ROW, then length of (@ROW) is equal to the positive integer
(=>     (attribute ?OBJ Wet)     (forall (?PART)         (=>             (part ?PART ?OBJ)             (exists (?SUBPART)                 (and                     (part ?SUBPART ?PART)                     (attribute ?SUBPART Liquid))))))	Merge.kif 18184-18192	If wet is an attribute of an object, then for all another object if the other object is a part of the object, then there exists a third object such that the third object is a part of the other object and liquid is an attribute of the third object
(=>     (attribute ?X AeronauticalEngineer)     (exists (?SKILL)         (and             (hasSkill ?SKILL ?X)             (forall (?P)                 (=>                     (instance ?P ?SKILL)                     (or                         (exists (?CONS ?OBJ ?PT)                             (and                                 (instance ?CONS Making)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?CONS ?OBJ)                                 (subProcess ?P ?CONS)))                         (exists (?DESIGN ?PLAN ?OBJ ?PT)                             (and                                 (instance ?DESIGN Designing)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?DESIGN ?PLAN)                                 (represents ?PLAN ?OBJ)                                 (subProcess ?P ?DESIGN)))))))))	Biography.kif 444-473	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
(=>     (attribute ?X ExclusiveFemaleLevel)     (forall (?Y)         (=>             (and                 (instance ?Y HotelRoom)                 (located ?Y ?X))             (hasPurpose ?Y                 (exists (?HUMAN)                     (and                         (attribute ?HUMAN Female)                         (stays ?HUMAN ?Y)))))))	Hotel.kif 1251-1262	If female level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that female is an attribute of the entity and the entity stays at the physical
(=>     (attribute ?X ExecutiveLevel)     (forall (?Y)         (=>             (and                 (instance ?Y HotelRoom)                 (located ?Y ?X))             (hasPurpose ?Y                 (exists (?HUMAN)                     (and                         (attribute ?HUMAN BusinessExecutive)                         (instance ?HUMAN Human)                         (stays ?HUMAN ?Y)))))))	Hotel.kif 1232-1244	If executive level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that business executive is an attribute of the entity and the entity is an instance of human and the entity stays at the physical
(=>     (average ?LIST ?AVERAGE)     (forall (?LISTITEM)         (=>             (inList ?LISTITEM ?LIST)             (instance ?LISTITEM RealNumber))))	Merge.kif 5382-5387	If a real number is an average of a list, then for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of real number
(=>     (climateTypeInArea ?AREA WetTropicalClimateZone)     (forall (?MO ?AMOUNT)         (and             (instance ?MO Month)             (averageRainfallForPeriod ?AREA ?MO                 (MeasureFn ?AMOUNT                     (MilliFn Meter)))             (greaterThanOrEqualTo ?AMOUNT 60.0))))	Geography.kif 1319-1326	If wet tropical climate zone is a climate type in area of a geographic area, then for all a month and a real number the month is an instance of month and the geographic area average rainfall for period the month for the real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0
(=>     (coilCount ?WC ?N)     (exists (?C ?C2F)         (and             (instance ?C Collection)             (memberCount ?C ?N)             (forall (?M)                 (=>                     (member ?M ?C)                     (and                         (attribute ?M ?C2F)                         (instance ?C2F ClosedTwoDimensionalFigure)                         (part ?M ?WC)                         (not                             (exists (?M2)                                 (and                                     (overlapsSpatially ?M2 ?M)                                     (member ?M2 ?C))))))))))	Cars.kif 3177-3194	If the number of coils in a wire coil is an integer, then there exist a collection and the collection2F such that the collection is an instance of collection and the integer is a member count of the collection and for all an object if the object is a member of the collection, then the collection2F is an attribute of the object and the collection2F is an instance of closed two dimensional figure and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 and the object overlapsSpatially and the object2 is a member of the collection
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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