No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to the government of a geopolitical area and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the government of the geopolitical area is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	If a transfer is an instance of vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 809-822	If an object is an instance of vocal cords and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of vocal fold and the third object is an instance of vocal fold and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11837-11844	If an object is an instance of vital organ and another object is an instance of animal and the object is not a part of the other object, then living is not an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4523-4528	If an object is an instance of body of water and the object is not an instance of ocean and another object is an instance of ocean, then the other object is larger than the object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1920-1929	If a GUI element is an instance of interface window and another GUI element is an instance of GUI element and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the other GUI element is not an instance of interface window and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the other GUI element is a proper part of the GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1964-1972	If an entity_A is an instance of interface window and the entity_P is an instance of interface window and the entity_A is displayed on a computer screen and the entity_P is displayed on the computer screen and the entity_A has state GUE active state and the entity_A is not equal to the entity_P, then the entity_P has state GUE passive state
No TPTP formula. May not be expressible in strict first order.	Food.kif 2622-2630	If an object is an instance of pasta and there doesn't exist another object such that the other object is an instance of pasta and the other object is a part of the object, then long and thin is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 2763-2776	If an object is an instance of penne and there doesn't exist another object such that the other object is an instance of penne and the other object is a part of the object, then there exists a third object such that the third object is an instance of hole and the object is a part of the third object and fillable is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 3464-3472	If an object is an instance of spaghetti and there doesn't exist another object such that the other object is an instance of spaghetti and the other object is a part of the object, then long and thin is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26973-26999	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and the object is not equal to the other object and the other collection is an instance of video display, 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 process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3907-3914	If a bank statement is a last statement of a financial account and a physical is an instance of financial transaction and the bank statement expresses the content of the physical and another physical is an instance of financial transaction and the bank statement doesn't express the content of the other physical, then the time of existence of the other physical happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	If the measure of an object is a real number lumen(s) and the measure of another object is another real number lumen(s) and the object is a part of a third object and the other object is a part of the third object and the object is not equal to the other object and the real number is greater than the other real number and the real number and the other real number is equal to a third real number and the contrast ratio of the third object is the third real number, then there don't exist a fourth object, a fifth object,, , a fourth real number and a fifth real number such that the measure of the fourth object is the fourth real number lumen(s) and the measure of the fifth object is the fifth real number lumen(s) and the fourth object is a part of the third object and the fifth object is a part of the third object and the fourth object is not equal to the fifth object and the fourth real number is greater than the fifth real number and the fourth real number and the fifth real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4638-4652	If a collection and another collection are mutually exclusive and a third collection is an instance of collection and a fourth collection is an instance of collection and a physical is an instance of self connected object and the physical is a member of the collection and the third collection is a member of the other collection and the fourth collection is a member of the other collection and the third collection is not equal to the fourth collection, then ~{ the physical is a member of the third collection } or ~{ the physical is a member of the fourth collection }
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9593-9599	If an object is a member of a collection and another object is a member of the collection and the object is not equal to the other object, then the object and the other object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Media.kif 3406-3411	If an entity has name a symbolic string and another symbolic string is before key a third symbolic string in the symbolic string and the other symbolic string is not equal to the third symbolic string, then the symbolic string is the ¬ameIndexOrder$"indexable" ¬ameIndexOrder$"name" for the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	If anaemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is greater than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	If anaemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is greater than 13
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5117-5128	If an integer is not equal to 0 and (the largest integer less than or equal to another integer and the integer and the integer and a third integer) is equal to the other integer, then the other integer mod the integer is equal to the third integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1314-1326	If mild traumatic brain injury is an attribute of an entity doesn't hold during a time interval and mild traumatic brain injury is an attribute of the entity holds during another time interval and the time interval meets the other time interval, then the statement unconscious is an attribute of the entity holds during the beginning of the other time interval has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30255-30266	If an entity is not an instance of agent and motionless is an attribute of the entity holds during a time interval, then there doesn't exist a process such that the process is an instance of motion and the entity is a patient of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9634-9641	If an object is not a part of another object and the other object is not a part of the object and a third object is a part of the object and the third object is a part of the other object, then the object partially overlaps with the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	If not a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there doesn't exist a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16921-16929	If an object is a positional attribute to another object and @ROW is the opposite of and the positional attribute is a member of (@ROW) and another positional attribute is a member of (@ROW) and the positional attribute is not equal to the other positional attribute, then the object is not the other positional attribute to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3496-3501	If an object and another object overlapsSpatially and the other object is an instance of region and the object is not equal to the other object, then the object is partly located in the other object
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