No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12536-12546	If an attribute is an attribute of an object and the attribute is an instance of fingerprint and the object is not an instance of finger, then there exist the attributeR and another object such that the other object is an instrument for the attributeR and the other object is an instance of finger and the attribute is an attribute of the other object and the object is a patient of the attributeR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17354-17367	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a result of the process and the agent believes the object the attribute the attribute holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17710-17719	If monochromatic is an attribute of an object and another object is a superficial part of the object and an attribute is an attribute of the other object and the attribute is an instance of primary color, then for all a third object if the third object is a superficial part of the object, then the attribute is an attribute of the third object
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	If an attribute is an attribute of an agent and the attribute is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19442-19452	If stressed is an attribute of an object and another object is an instance of word and the object is a part of the other object, then there doesn't exist the object2 such that the object2 is an instance of syllable and the object2 is a part of the other object and stressed is an attribute of the object2 and the object2 is not equal to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	If a geometric figure is an attribute of an object and the object is an instance of four-poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object, a third object,, , a geometric point and a fourth object such that the other object is a part of the object and the third object is an instance of floor and the object is on to the third object and the other object is vertical to the third object and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25675-25684	If an attribute is an attribute of an object and the attribute is an instance of temperature attribute and the object is an instance of object, then there exists another object such that the measure of the object is the other object and the other object is an instance of temperature measure and the attribute is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26582-26590	If historical is an attribute of an object and the object is an instance of city, then there exists another object such that the other object is an instance of physical and historical is an attribute of the other object and the other object is located at the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1452-1457	If traveler accommodation is an attribute of an agent and an entity is an element of belongings of the agent and the entity is an instance of casino, then casino hotels is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is greater than or equal to the real number, then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20733-20742	If a human directed a motion picture and a process is an instance of film making and an agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process, then film director is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1788	If a kind of object is equal to the attr of another kind of object and an attribute and a third object is an instance of a kind of object, then the third object is an instance of another kind of object and the kind of object is a subclass of the other kind of object and the attribute is an attribute of the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2847-2851	If an agent fulfills a reservation and the reservation is an instance of hotel reservation, then traveler accommodation is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	If ME/CFS is an attribute of an agent holds during a time interval and a process is an instance of recreation or exercise and the agent is an agent of the process and the time of existence of the process takes place during the time interval, then the statement PEM is an attribute of the agent holds during the time interval2 and the time of existence of the process happens earlier than the time interval2 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Law.kif 480-489	If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval, then there exist another entity and another time interval such that the other time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1900-1904	If an entity publishes a class holds during a time position and the class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1888-1892	If an entity publishes a class holds during a time position and the class is a subclass of musical composition, then music publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1912-1916	If an entity publishes a class holds during a time position and the class is a subclass of newspaper, then newspaper publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1906-1910	If an entity publishes a class holds during a time position and the class is a subclass of periodical, then periodical publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1894-1898	If an entity publishes a class holds during a time position and the class is a subclass of text, then information industry is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3529-3534	If a bank card is an instance of expired card holds during a time position and a financial account is a card account of the bank card, then active agreement is not an attribute of the bank card holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21494-21505	If a process is an instance of aborting and an entity is a patient of the process and the entity is an instance of woman, then pregnant is an attribute of the entity holds during the beginning of the time of existence of the process and pregnant is not an attribute of the entity holds during the end of the time of existence of the process
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