(=>     (instance ?DRIZZLE Drizzling)     (exists (?CLTN ?R ?SIZE)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (member ?R ?CLTN)             (objectTransferred ?DRIZZLE ?CLTN)             (approximateDiameter ?R                 (MeasureFn ?SIZE Millimeter))             (modalAttribute                 (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 2802-2814	If a transfer is an instance of drizzling, then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of liquid drop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of likely
(=>     (instance ?DROP Raindrop)     (exists (?RAIN)         (and             (instance ?RAIN Rain)             (instance ?RAIN Collection)             (member ?DROP ?RAIN))))	Weather.kif 2980-2986	If a physical is an instance of rain drop, then there exists a collection such that the collection is an instance of rain and the collection is an instance of collection and the physical is a member of the collection
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?QUALIFYING_EVENTS)         (and             (instance ?QUALIFYING_EVENTS Collection)             (forall (?EVENT)                 (=>                     (and                         (instance ?EVENT Process)                         (or                             (experimentalControlProcess ?EXPERIMENT ?EVENT)                             (experimentalVariableProcess ?EXPERIMENT ?EVENT)))                     (member ?EVENT ?QUALIFYING_EVENTS)))             (equal                 (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))	UXExperimentalTerms.kif 4415-4430	If an experimenting is an instance of experimenting, then there exists an entity_EVENTS such that the entity_EVENTS is an instance of collection and for all a process if the process is an instance of process and the control in experiment the experimenting is the process or the process is a process in the experimenting, then the process is a member of the entity_EVENTS and events in the experimenting is equal to the entity_EVENTS
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?TREATED_USERS)         (and             (instance ?TREATED_USERS Collection)             (forall (?USER)                 (=>                     (and                         (instance ?USER Human)                         (treatedUser ?USER ?EXPERIMENT))                     (member ?USER ?TREATED_USERS)))             (equal                 (TreatedUsersFn ?EXPERIMENT) ?TREATED_USERS))))	UXExperimentalTerms.kif 4485-4497	If an experimenting is an instance of experimenting, then there exists an entity_USERS such that the entity_USERS is an instance of collection and for all a human if the human is an instance of human and the human is a treated used in the experimenting, then the human is a member of the entity_USERS and the treated users in the experimenting is equal to the entity_USERS
(=>     (instance ?LGP LargeGroupProcess)     (exists (?G)         (and             (instance ?G Collection)             (member ?M ?G)             (memberType ?G Agent))))	Mid-level-ontology.kif 7601-7607	If an entity is an instance of LargeGroupProcess, then there exists a collection such that the collection is an instance of collection and a physical is a member of the collection and agent is a member type of the collection
(=>     (instance ?PROCESS Sleeting)     (exists (?STUFF ?R ?S ?MELT)         (and             (instance ?STUFF Collection)             (objectTransferred ?PROCESS ?STUFF)             (instance ?R Raindrop)             (instance ?S Snowflake)             (member ?R ?STUFF)             (member ?S ?STUFF)             (instance ?MELT Melting)             (subProcess ?MELT ?PROCESS)             (patient ?MELT ?S))))	Weather.kif 1157-1169	If a transfer is an instance of sleeting, then there exist a collection, a physical,, , another physical and a process such that the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is an instance of rain drop and the other physical is an instance of snowflake and the physical is a member of the collection and the other physical is a member of the collection and the process is an instance of melting and the process is a subprocess of the transfer and the other physical is a patient of the process
(=>     (instance ?RAIN Raining)     (exists (?CLTN ?R)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (member ?R ?CLTN)             (objectTransferred ?RAIN ?CLTN)             (defaultMinimumSphereRadius ?R                 (MeasureFn 0.1 Millimeter))             (defaultMaximumSphereRadius ?R                 (MeasureFn 9.0 Millimeter)))))	Weather.kif 1057-1069	If a transfer is an instance of raining, then there exist a collection and a kind of object such that the collection is an instance of collection and a kind of object is an instance of water and the kind of object is an instance of liquid drop and the kind of object is a member of the collection and the object transferred in the transfer is the collection and the minimum expected radius of the kind of object is 0.1 millimeter(s) and the maximum expected radius of the kind of object is 9.0 millimeter(s)
(=>     (instance ?ROOM SelfServiceLaundry)     (exists (?WASHER ?DRYER)         (and             (instance ?WASHER Collection)             (memberType ?WASHER ClothesWashingMachine)             (located ?WASHER ?ROOM)             (instance ?DRYER Collection)             (memberType ?DRYER ClothesDryer)             (located ?DRYER ?ROOM))))	Mid-level-ontology.kif 24734-24743	If an object is an instance of self-service laundry, then there exist a collection and another collection such that the collection is an instance of collection and clothes washing machine is a member type of the collection and the collection is located at the object and the other collection is an instance of collection and clothes dryer is a member type of the other collection and the other collection is located at the object
(=>     (instance ?S Snowflake)     (exists (?SNOW)         (and             (instance ?SNOW Snow)             (instance ?SNOW Collection)             (member ?S ?SNOW))))	Weather.kif 3012-3018	If a physical is an instance of snowflake, then there exists the physicalNOW such that the physicalNOW is an instance of snow and the physicalNOW is an instance of collection and the physical is a member of the physicalNOW
(=>     (instance ?SNOW Snowing)     (exists (?CLTN ?I)         (and             (instance ?CLTN Collection)             (instance ?I Ice)             (attribute ?I MonoCrystalline)             (member ?I ?CLTN)             (objectTransferred ?SNOW ?CLTN))))	Weather.kif 1140-1148	If a transfer is an instance of snowing, then there exist a collection and an object such that the collection is an instance of collection and the object is an instance of ice and mono crystalline is an attribute of the object and the object is a member of the collection and the object transferred in the transfer is the collection
(=>     (instance ?STUFF Hailstone)     (exists (?PROCESS ?CLTN)         (and             (instance ?PROCESS Hailing)             (instance ?CLTN Collection)             (objectTransferred ?PROCESS ?CLTN)             (member ?STUFF ?CLTN))))	Weather.kif 3073-3080	If a physical is an instance of hailstone, then there exist a transfer and a collection such that the transfer is an instance of hailing and the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is a member of the collection
(=>     (instance ?X ElectricalOutlet)     (exists (?HOLE)         (and             (instance ?HOLE Collection)             (memberType ?HOLE Hole)             (part ?HOLE ?X))))	Mid-level-ontology.kif 25278-25284	If an object is an instance of electrical outlet, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the object
(=>     (instance ?X ElectricalOutlet)     (hasPurpose ?X         (exists (?POWER ?WIRE)             (and                 (instance ?POWER PowerSource)                 (instance ?WIRE Collection)                 (memberType ?WIRE WireLine)                 (connectsEngineeringComponents ?WIRE ?X ?POWER)))))	Mid-level-ontology.kif 25286-25294	If a physical is an instance of electrical outlet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity
(=>     (instance ?X HighRise)     (exists (?LEVELS ?NUM)         (and             (instance ?LEVELS Collection)             (forall (?FLR)                 (=>                     (and                         (instance ?FLR BuildingLevel)                         (part ?FLR ?X))                     (member ?FLR ?LEVELS)))             (memberCount ?LEVELS ?NUM)             (greaterThanOrEqualTo ?NUM 10))))	Mid-level-ontology.kif 25871-25883	If an object is an instance of high rise, then there exist a collection and an integer such that the collection is an instance of collection and for all another object if the other object is an instance of building level and the other object is a part of the object, then the other object is a member of the collection and the integer is a member count of the collection and the integer is greater than or equal to 10
(=>     (rainfallIntensity ?AREA ?TIME ?RATE)     (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)         (and             (instance ?RAIN Raining)             (eventLocated ?RAIN ?AREA)             (during                 (WhenFn ?RAIN) ?TIME)             (instance ?CLTN Collection)             (objectTransferred ?RAIN ?CLTN)             (instance ?R Water)             (member ?R ?CLTN)             (instance ?BUCKET Container)             (bottom ?BOTTOM ?BUCKET)             (attribute ?BOTTOM Flat)             (located ?BUCKET ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (attribute ?BUCKET ContainerEmpty))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?CLTN ?BUCKET)                     (top ?TOP ?CLTN)                     (depth ?TOP ?BOTTOM ?RAINFALL)                     (equal ?RAINFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 2829-2854	If the rate of rain in a geographic area during a time interval is a function quantity, then there exist a transfer, a collection,, , a physical,, , a self connected object,, , an entity,, , another self connected object and the transferFALL such that the transfer is an instance of raining and the transfer is located at 2 and the time of existence of the transfer takes place during the time interval and the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is an instance of water and the physical is a member of the collection and the self connected object is an instance of container and the bottom of the self connected object is the other self connected object and flat is an attribute of the other self connected object and the self connected object is located at the geographic area and container empty is an attribute of the self connected object holds during the beginning of the time interval and the collection is located at the self connected object and the top of the collection is the entity and the depth from the entity to the other self connected object is the transferFALL and the transferFALL is equal to the time interval and the function quantity holds during the end of the time interval
(=>     (siteCatalog ?DATABASE ?WEBSITE)     (exists (?PART)         (and             (instance ?PRODUCTS Collection)             (part ?PART ?DATABASE)             (represents ?PART ?PRODUCTS)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?PRODUCTS)                     (and                         (instance ?MEMBER Physical)                         (capability                             (KappaFn ?BUYING                                 (and                                     (instance ?BUYING Buying)                                     (eCommerceSite ?BUYING ?WEBSITE))) patient ?MEMBER)))))))	UXExperimentalTerms.kif 2451-2468	If a database is the catalog for a WebSite, then there exists an object such that a collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all another object if the other object is a member of the collection, then the other object is an instance of physical and the other object is capable of doing the class described by a symbolic string as a patient
(=>     (subBrand ?BRAND1 ?BRAND2)     (exists (?COLL ?OBJ)         (and             (instance ?COLL Collection)             (represents ?BRAND1 ?COLL)             (member ?OBJ ?COLL)             (represents ?BRAND2 ?OBJ))))	Hotel.kif 1313-1320	If an entity is a sub-brand of another entity, then there exist a collection and a physical such that the collection is an instance of collection and the other entity expresses the collection and the physical is a member of the collection and the entity expresses the physical
(=>     (tTest ?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)     (exists (?POP1 ?POP2 ?EXPERIMENT)         (and             (instance ?POP_COLL1 Collection)             (instance ?POP_COLL2 Collection)             (statisticalPopulation ?SAMPLE_COLL1 ?POP_COLL1 ?EXPERIMENT)             (statisticalPopulation ?SAMPLE_COLL2 ?POP_COLL2 ?EXPERIMENT)             (equal ?PROB                 (ProbabilityFn                     (equal ?POP1 ?POP2))))))	UXExperimentalTerms.kif 751-761	If the probability that an entity_COLL1 and the entity_COLL2 are part of the same statistical population is a real number, then there exist another entity, a third entity and an experimenting such that a fourth entity_COLL1 is an instance of collection and the fourth entity_COLL2 is an instance of collection and the entity_COLL1 is a sample of the fourth entity_COLL1 for the experimenting and the entity_COLL2 is a sample of the fourth entity_COLL2 for the experimenting and the real number is equal to the probability of the other entity is equal to the third entity
(=>     (userDatabase ?DATABASE ?WEBSITE)     (exists (?PART)         (and             (instance ?USERS Collection)             (part ?PART ?DATABASE)             (represents ?PART ?USERS)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?USERS)                     (and                         (instance ?MEMBER Agent)                         (exists (?ACCESSING ?PAGE)                             (and                                 (instance ?ACCESSING AccessingWebPage)                                 (instance ?PAGE WebPage)                                 (patient ?ACCESSING Page)                                 (agent ?ACCESSING Agent)                                 (component ?PAGE ?WEBSITE)))))))))	UXExperimentalTerms.kif 2382-2400	If a database is the user database for a WebSite, then there exists an object such that a collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of agent and there exist a process and a corpuscular object such that the process is an instance of AccessingWebPage and the corpuscular object is an instance of WebPage and page is a patient of the process and agent is an agent of the process and the corpuscular object is a component of the WebSite

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