No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1696-1701	An abstract is an instance of stock index if and only if there exists a performance measure such that the performance measure is an instance of stock and the performance measure is a benchmark of the abstract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20186-20190	An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1348-1351	A financial account is an instance of secured loan if and only if there exists a collateral such that the collateral is a secured by of the financial account
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1948-1952	A real number is an instance of negative real number if and only if the real number is less than 0 and the real number is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1926-1930	A real number is an instance of nonnegative real number if and only if the real number is greater than or equal to 0 and the real number is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1937-1941	A real number is an instance of positive real number if and only if the real number is greater than 0 and the real number is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 108-115	An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20241-20245	An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 411-413	An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 469-471	An entity is an instance of dual gauge railway if and only if the entity the attribute dual gauge railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 460-462	An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 443-445	An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8326-8328	A geopolitical area is an instance of state or province if and only if the government of the geopolitical area is an instance of state government
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10944-10950	A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column
No TPTP formula. May not be expressible in strict first order.	engineering.kif 155-157	An entity is an instance of differential equation if and only if the entity is an instance of the attr of equation and differential attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23252-23258	If a case role a process and an object and the case role is an instance of case role and the process is an instance of process and the object is an instance of object, then the object plays role in event the case role for the process
No TPTP formula. May not be expressible in strict first order.	Media.kif 3165-3169	If a symbolic string is the short title of an entity-TYPE in a language and another entity is an instance of the entity-TYPE, then the symbolic string is an abbreviation of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	If a human &actedIn a content bearing physical. and a process is an instance of dramatic acting and the human is a patient of the process and the content bearing physical is a result of the process, then actor 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.	Mid-level-ontology.kif 18837-18843	If an agent is an agent of a process and an entity is a result of the process and the entity is an instance of art work, then artist is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	If a time point is an agreement effective date of an agreement and the agreement obligates a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent is obliged to perform tasks of type the formula holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 721-726	If a time point is an agreement effective date of an agreement and the agreement allows a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent has the right to perform the formula holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 766-772	If a kind of time position is an agreement effective during of a proposition and another time position is an instance of a kind of time position and a formula is an instance of formula and the formula contains information the proposition, then the formula holds during the other time position
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	If an image is the image on an album and an object is an instance of the set of copies on a kind of data storage device of the album and a self connected object contains the object, then the statement the image is a part of the front of the self connected object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	If amount a kind of substance, a corpuscular object and a real number an unit of mass(s) and a kind of substanceI is an instance of the kind of substance and the measure of the kind of substanceI is the real number2 the unit of mass(s) and the kind of substanceI is a part of the corpuscular object, then there exists a list such that the real number2 the unit of mass(s) is a member of the list and the list is equal to Amounts fn the kind of substance, the corpuscular object and the unit of mass and the real number is equal to the sum of the list
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