No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	If a physical is an instance of bus, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of collection and the other entity is an instance of transportation and the third entity is a member count of the entity and the third entity is greater than 11 and if the fourth entity is a member of the entity, then the fourth entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1162-1168	If an object is an instance of bowling facility, then there exists a collection such that the collection is an instance of collection and bowling lane is a member type of the collection and the collection is located at the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2803-2815	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2981-2987	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	If a time position is an instance of espresso making, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4281-4293	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7932-7938	If an entity is an instance of large group process, then there exist a collection and a physical such that the collection is an instance of collection and the physical is a member of the collection and agent is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 72-79	If an entity is an instance of Polymer, then there exist a collection and a physical such that the entity is equal to the collection and the collection is an instance of collection and the physical is a member of the collection and the physical is an instance of Monomer
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1158-1170	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1070	If an entity is an instance of raining, then there exist another entity, a third entity and a class such that the other entity is an instance of collection and the third entity is an instance of water and the third entity is an instance of liquid drop and the third entity is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25402-25411	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3013-3019	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1141-1149	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3074-3081	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 610-617	If an object is an instance of chromotin, then there exist a physical and a collection such that the physical is an instance of collection and the physical is located at the object and the physical is a member of the collection and the collection is an instance of Nucleosome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25911-25917	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25919-25927	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26508-26520	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 728-737	If a coffee grind attribute is the optimal CoffeeGrindAttribute for a kind of coffee making coffee making process, then there exist a process, a collection and an object such that the process is an instance of a kind of coffee making and the collection is a patient of the process and the collection is an instance of collection and the object is a member of the collection and the object is an instance of coffee grind and the coffee grind attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2830-2855	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 the geographic area 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	If a database is the catalog for a web site, then there exist an object, a collection and a symbolic string such that the 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 the symbolic string as a patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1335-1342	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 607-617	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 a collection, another collection and an experimenting such that the collection is an instance of collection and the other collection is an instance of collection and the entity_COLL1 is a sample of the collection for the experimenting and the entity_COLL2 is a sample of the other collection for the experimenting and the real number is equal to the probability of the collection is equal to the other collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2173-2191	If a database is the user database for a web site, then there exist an object and a collection such that the 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 accessing web page and the corpuscular object is an instance of web page 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 web site
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