(=>     (and         (instance ?L1 Object)         (attribute ?L1 LongAndThin)         (instance ?L2 Object)         (attribute ?L2 LongAndThin)         (connected ?L1 ?L2)         (not             (equal ?L1 ?L2)))     (exists (?M)         (relativeAngle ?L1 ?L2 ?M)))	Merge.kif 17904-17914	If an object is an instance of object and long and thin is an attribute of the object and another object is an instance of object and long and thin is an attribute of the other object and the object is connected to the other object and the object is not equal to the other object, then there exists a real number such that the relative angle between the object and the other object is the real number
(=>     (and         (instance ?LISTING WebListing)         (instance ?ITEM Object)         (instance ?CREATOR AutonomousAgent)         (attribute ?LISTING AuctionAttribute)         (patient ?ITEM ?LISTING)         (creator ?CREATOR ?LISTING))     (desires ?CREATOR         (exists (?AUCTION)             (and                 (instance ?AUCTION Auctioning)                 (patient ?AUCTION ?ITEM)))))	UXExperimentalTerms.kif 313-325	If an object is an instance of web listing and a process is an instance of object and a cognitive agent is an instance of agent and auction attribute is an attribute of the object and the object is a patient of the process and the cognitive agent created the object, then the cognitive agent desires there exists an entity such that the entity is an instance of auctioning and the process is a patient of the entity
(=>     (and         (instance ?O Object)         (attribute ?O ConvexRoundShape)         (surface ?TO ?O)         (instance ?TO TwoDimensionalObject))     (forall (?P)         (and             (part ?P ?O)             (attribute ?P GeometricPoint)             (pointOfFigure ?P ?O)             (meetsSpatially ?P ?O)             (meetsSpatially ?P ?TO)             (exists (?T)                 (tangent ?T ?TO)))))	Mid-level-ontology.kif 4819-4833	If a self connected object is an instance of object and convex round shape is an attribute of the self connected object and another self connected object is a surface of the self connected object and the other self connected object is an instance of two dimensional object, then for all a geometric point the geometric point is a part of the self connected object and geometric point is an attribute of the geometric point and the geometric point is a vertex of the self connected object and the geometric point meets the self connected object and the geometric point meets the other self connected object and there exists an one dimensional figure such that a tangent of the other self connected object is the one dimensional figure
(=>     (and         (instance ?OBJ Object)         (attribute ?OBJ Pliable))     (exists (?CHANGE)         (and             (instance ?CHANGE ShapeChange)             (patient ?CHANGE ?OBJ))))	Merge.kif 17768-17775	If an object is an instance of object and pliable is an attribute of the object, then there exists a process such that the process is an instance of shape change and the object is a patient of the process
(=>     (and         (instance ?OBJ1 Object)         (partlyLocated ?OBJ1 ?OBJ2))     (exists (?SUB)         (and             (part ?SUB ?OBJ1)             (located ?SUB ?OBJ2))))	Merge.kif 4061-4068	If an object is an instance of object and the object is partly located in another object, then there exists a third object such that the third object is a part of the object and the third object is located at the other object
(=>     (and         (instance ?OBJ1 Object)         (partlyLocated ?OBJ1 ?OBJ2))     (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 4055-4059	If an object is an instance of object and the object is partly located in another object, then the object and the other object overlapsSpatially
(=>     (and         (instance ?PLACE Object)         (instance ?BLOW Wind)         (measure ?BLOW             (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))     (surfaceWindVelocity ?PLACE         (SpeedFn ?DIST ?TIME) ?DIRECTION))	Weather.kif 125-130	If a region is an instance of object and a physical is an instance of wind and the measure of the physical is a length measure per a time duration in the region in the direction a directional attribute, then the region is surface wind velocity the length measure per the time duration for the directional attribute
(=>     (and         (instance ?REL CaseRole)         (instance ?OBJ Object)         (?REL ?PROCESS ?OBJ))     (exists (?TIME)         (overlapsSpatially             (WhereFn ?PROCESS ?TIME) ?OBJ)))	Merge.kif 9623-9629	If an entity is an instance of case role and an object is an instance of object and the entity a physical and the object, then there exists a time point such that the place where the physical was at the time point and the object overlapsSpatially
(=>     (and         (instance ?REPAYMENT Repayment)         (instance ?REPAYMENT_DESTINATION Object)         (destination ?REPAYMENT ?REPAYMENT_DESTINATION)         (instance ?REPAYMENT_ORIGIN Object)         (origin ?REPAYMENT ?REPAYMENT_ORIGIN))     (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)         (and             (instance ?PAYMENT Payment)             (instance ?PAYMENT_ORIGIN Object)             (instance ?PAYMENT_DESTINATION Object)             (not                 (equal ?PAYMENT ?REPAYMENT))             (destination ?PAYMENT ?PAYMENT_DESTINATION)             (origin ?PAYMENT ?PAYMENT_ORIGIN)             (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)             (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))	UXExperimentalTerms.kif 1883-1900	If a process is an instance of repayment and the process_DESTINATION is an instance of object and the process ends up at the process_DESTINATION and the process_ORIGIN is an instance of object and the process originates at the process_ORIGIN, then there exist another process, the other process_ORIGIN and the other process_DESTINATION such that the other process is an instance of payment and the other process_ORIGIN is an instance of object and the other process_DESTINATION is an instance of object and the other process is not equal to the process and the other process ends up at the other process_DESTINATION and the other process originates at the other process_ORIGIN and the other process_ORIGIN is equal to the process_DESTINATION and the other process_DESTINATION is equal to the process_ORIGIN
(=>     (and         (instance ?SALE BargainSale)         (patient ?SALE ?OBJ)         (instance ?OBJ Object))     (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)         (and             (instance ?U UnitOfCurrency)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?SALE))                 (price ?OBJ                     (MeasureFn ?PRICE1 ?U) ?AGENT1))             (holdsDuring                 (WhenFn ?SALE)                 (price ?OBJ                     (MeasureFn ?PRICE2 ?U) ?AGENT2))             (lessThan ?PRICE2 ?PRICE1))))	Mid-level-ontology.kif 7847-7861	If a process is an instance of bargain sale and an entity is a patient of the process and the entity is an instance of object, then there exist a real number, another real number,, , another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of unit of currency and the entity is price the real number the fourth entity(s) for the other entity holds during immediately before the time of existence of the process and the entity is price the other real number the fourth entity(s) for the third entity holds during the time of existence of the process and the other real number is less than the real number
(=>     (and         (instance ?SAW Saw)         (instance ?CUT Cutting)         (instrument ?CUT ?SAW)         (instance ?OBJ Object)         (patient ?CUT ?OBJ))     (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)         (and             (instance ?MOTION Motion)             (subProcess ?MOTION ?CUT)             (instance ?PART CuttingDevice)             (part ?PART ?SAW)             (meetsSpatially ?PART ?OBJ)             (patient ?MOTION ?PART)             (instance ?T2 TimeInterval)             (instance ?T2 TimeInterval)             (equal                 (WhenFn ?MOTION) ?TIME)             (temporalPart ?TIME ?T1)             (temporalPart ?TIME ?T2)             (instance ?DIR1 DirectionalAttribute)             (instance ?DIR2 DirectionalAttribute)             (=>                 (holdsDuring ?T1                     (direction ?MOTION ?DIR1))                 (holdsDuring ?T2                     (and                         (direction ?MOTION ?DIR2)                         (or                             (equal ?DIR1 ?DIR2)                             (oppositeDirection ?DIR1 ?DIR2))                         (not                             (and                                 (equal ?DIR1 ?DIR2)                                 (oppositeDirection ?DIR1 ?DIR2)))))))))	Mid-level-ontology.kif 18149-18183	If an object is an instance of saw and a process is an instance of cutting and the object is an instrument for the process and another object is an instance of object and the other object is a patient of the process, then there exist another process, an entity,, , another entity,, , a time interval,, , a time position,, , another time position and a third object such that the other process is an instance of motion and the other process is a subprocess of the process and the third object is an instance of cutting device and the third object is a part of the object and the third object meets the other object and the third object is a patient of the other process and the other time position is an instance of time interval and the other time position is an instance of time interval and the time of existence of the other process is equal to the time interval and the time interval is a part of the time position and the time interval is a part of the other time position and the entity is an instance of directional attribute and the other entity is an instance of directional attribute and if entities in the process the other process are moving the entity holds during the time position, then entities in the process the other process are moving the other entity and the entity is equal to the other entity or the other entity is an opposite direction of the entity and ~{ the entity is equal to the other entity } or ~{ the other entity is an opposite direction of the entity } holds during the other time position
(=>     (and         (instance ?SEEING Seeing)         (patient ?SEEING ?OBJ)         (agent ?SEEING ?AGENT)         (instance ?OBJ Object)         (time ?SEEING ?TIME)         (holdsDuring ?TIME             (located ?OBJ ?PLACE)))     (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE))	Justice.kif 61-69	If a process is an instance of seeing and an object is a patient of the process and an agent is an agent of the process and the object is an instance of object and the process exists during a time position and the object is located at another object holds during the time position, then the object is observed at time in place the agent for the time position with the other object
(=>     (and         (instance ?SELLINGS Collection)         (instance ?GMV CurrencyMeasure)         (instance ?TOTAL RealNumber)         (equal ?GMV             (GMVFn ?SELLINGS))         (equal ?TOTAL             (CardinalityFn                 (KappaFn ?ITEM                     (and                         (instance ?ITEM Object)                         (exists (?SELLING)                             (and                                 (member ?SELLING ?SELLINGS)                                 (patient ?SELLING ?ITEM))))))))     (equal         (ASPFn ?SELLINGS)         (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3282-3302	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and the real number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average selling price of the collection is equal to the real number and the integer
(=>     (and         (instance ?TRANS Buying)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (agent ?TRANS ?BUYER)             (origin ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1841-1858	If an object is an instance of buying and cross border trade is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist another object, an agent,, , the agent_LOCATION and the other object_LOCATION such that the agent is an instance of agent and the other object is an instance of agent and the agent is an agent of the object and the object originates at the other object and the agent_LOCATION is an instance of geopolitical area and the other object_LOCATION is an instance of geopolitical area and the other object is located at the other object_LOCATION and the agent is located at the agent_LOCATION and the agent_LOCATION is not equal to the other object_LOCATION
(=>     (and         (instance ?TRANS Selling)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (destination ?TRANS ?BUYER)             (agent ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1822-1839	If an object is an instance of selling and cross border trade is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist an agent, a physical,, , the physical_LOCATION and the agent_LOCATION such that the physical is an instance of agent and the agent is an instance of agent and the object ends up at the physical and the agent is an agent of the object and the physical_LOCATION is an instance of geopolitical area and the agent_LOCATION is an instance of geopolitical area and the agent is located at the agent_LOCATION and the physical is located at the physical_LOCATION and the physical_LOCATION is not equal to the agent_LOCATION
(=>     (and         (instance ?WATCH WatchItem)         (instance ?AGENT AutonomousAgent)         (instance ?OBJ Object)         (agent ?WATCH ?AGENT)         (patient ?WATCH ?OBJ))     (inScopeOfInterest ?AGENT ?OBJ))	UXExperimentalTerms.kif 1596-1603	If a process is an instance of watch item and a cognitive agent is an instance of agent and an entity is an instance of object and the cognitive agent is an agent of the process and the entity is a patient of the process, then the cognitive agent is interested in the entity
(=>     (and         (instance ?WATCH WatchItem)         (instance ?OBJ Object)         (patient ?WATCH ?OBJ)         (agent ?WATCH ?USER))     (exists (?COLL ?SITE ?AFTER ?INTERVAL)         (and             (instance ?COLL Collection)             (instance ?SITE WebSite)             (instance ?INTERVAL TimeInterval)             (watchingListings ?USER ?COLL ?SITE)             (equal                 (BeginFn ?INTERVAL)                 (EndFn ?WATCH))             (holdsDuring ?AFTER                 (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1605-1621	If a time interval is an instance of watch item and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent on the web site is watching the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
(=>     (and         (instance ?ZEPHYR WindFlow)         (instance ?PLACE Object)         (partlyLocated ?ZEPHYR ?PLACE)         (elevation ?ZEPHYR             (MeasureFn ?X FootLength))         (lessThanOrEqualTo ?X 500.0)         (measure ?ZEPHYR             (SpeedFn ?DIST ?TIME)))     (surfaceWindSpeed ?PLACE         (SpeedFn ?DIST ?TIME)))	Weather.kif 148-157	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
(=>     (and         (instance ?ZEPHYR WindFlow)         (instance ?PLACE Object)         (partlyLocated ?ZEPHYR ?PLACE)         (measure ?ZEPHYR             (MeasureFn ?SPEED KnotUnitOfSpeed)))     (surfaceWindSpeed ?PLACE         (MeasureFn ?SPEED KnotUnitOfSpeed)))	Weather.kif 159-165	If a physical is an instance of wind flow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a real number knot unit of speed(s), then the real number knot unit of speed(s) is a surface wind speed of the object
(=>     (and         (listingBidder ?LISTING ?AGENT)         (instance ?OBJ Object)         (patient ?LISTING ?OBJ))     (exists (?MONEY)         (bidPrice ?OBJ ?MONEY ?AGENT)))	UXExperimentalTerms.kif 109-115	If an agent bids for a web listing and an object is an instance of object and the object is a patient of the web listing, then there exists a currency measure such that the agent bids the currency measure for the object
(=>     (and         (listingBuyer ?LISTING ?BUYER)         (instance ?OBJ Object)         (instance ?SITE WebSite)         (patient ?LISTING ?OBJECT)         (hostedOn ?LISTING ?SITE))     (exists (?BUYING)         (and             (instance ?BUYING Buying)             (patient ?BUYING ?OBJ)             (eCommerceSite ?BUYING ?SITE)             (agent ?BUYING ?BUYER))))	UXExperimentalTerms.kif 86-98	If an agent buys a web listing and an entity is an instance of object and a web site is an instance of web site and the entityECT is a patient of the web listing and the web listing is hosted on the web site, then there exists a financial transaction such that the financial transaction is an instance of buying and the entity is a patient of the financial transaction and the web site facilitates the financial transaction and the agent is an agent of the financial transaction
(=>     (and         (listingSeller ?LISTING ?AGENT)         (instance ?OBJ Object)         (patient ?LISTING ?OBJ))     (desires ?AGENT         (exists (?SELLING)             (patient ?SELLING ?OBJ))))	UXExperimentalTerms.kif 61-68	If a cognitive agent sells a web listing and an entity is an instance of object and the entity is a patient of the web listing, then the cognitive agent desires there exists another entity such that the entity is a patient of the other entity
(=>     (and         (naturalHazardTypeInArea ?AREA ?TYPE)         (subclass ?TYPE Object))     (exists (?ITEM)         (and             (instance ?ITEM ?TYPE)             (located ?ITEM ?AREA))))	Geography.kif 2271-2278	If a kind of physical is a natural hazard type in area of a geographic area 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 geographic area
(=>     (and         (offers ?AGENT ?CATALOG)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Object)         (instance ?PROCESSINST ?PROCESS)         (subclass ?PROCESS Process)         (instance ?OBJ ?CLASS)         (patient ?PROCESSINST ?OBJ))     (capability ?PROCESS agent ?AGENT))	Catalog.kif 98-107	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of doing the other kind of process as a agent
(=>     (and         (offersAtTime ?AGENT ?CATALOG ?TIMEINT)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Object)         (instance ?PROCESSINSTANCE ?PROCESS)         (subclass ?PROCESS Process)         (instance ?OBJ ?CLASS)         (patient ?PROCESSINSTANCE ?OBJ)         (instance ?TIMEINT ?TIME)         (subclass ?TIME TimeInterval))     (capabilityDuring ?PROCESS agent ?AGENT ?TIME))	Catalog.kif 139-150	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the other kind of process during the other kind of time interval
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