No TPTP formula. May not be expressible in strict first order.	Merge.kif 13778-13790	If a positive integer is an atomic number of a kind of elemental substance, then if an object is an instance of a kind of elemental substance and another object is a part of the object and the other object is an instance of atom, then the positive integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22173-22182	If celebrity is an attribute of an object, then there exists an entity such that the number of instances in the class described by the entity is greater than 1000
No TPTP formula. May not be expressible in strict first order.	Government.kif 442-444	If a nonnegative integer is a cardinality of a set or class, then the number of instances in the set or class is equal to the nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Communications.kif 142-151	If there are an integer communiation satellite of type a kind of satellite in a geopolitical area, then the integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21713-21728	If a positive integer is an electron number of a pure substance, then if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8062-8075	If the per capita 1 of a real number an unit of measure(s) is equal to the real number the unit of measure(s), then there exists an integer such that the integer is equal to the number of instances in the resident of a geopolitical area and the real number is equal to another real number and the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2125-2134	If there can be an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4476-4484	If an entity is an instance of box, then the number of instances in the class described by a symbolic string is equal to 6
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2131-2135	If a geopolitical area is an instance of american city, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of new york city united states
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9473-9475	If a time interval is an instance of day, then the number of instances in decomposition of the time interval into hours is equal to 24
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9477-9479	If a time interval is an instance of hour, then the number of instances in decomposition of the time interval into minutes is equal to 60
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1588-1590	If an entity is an instance of piggybank loan, then the number of instances in the class described by a symbolic string is equal to 2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9481-9483	If a time interval is an instance of minute, then the number of instances in decomposition of the time interval into seconds is equal to 60
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4916-4921	If an entity is an instance of quadrilateral, then the number of instances in the class described by a symbolic string is equal to 4
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5542-5547	If an entity is an instance of finite set, then there exists an integer such that the integer is an instance of nonnegative integer and the integer is equal to the number of instances in the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3149-3173	If an object is an instance of straddle, then there exist a symbolic string, a currency measure,, , a time point,, , an integer and another symbolic string such that the number of instances in the class described by the symbolic string is equal to the integer and the number of instances in the class described by the other symbolic string is equal to the integer and for all an agreement if the agreement is an instance of option and the agreement is a part of the object, then the agreement has expiration the time point and the currency measure is a strike price of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3088-3090	If an entity is an instance of single option, then the number of instances in the class described by a symbolic string is equal to 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4896-4901	If an entity is an instance of triangle, then the number of instances in the class described by a symbolic string is equal to 3
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9469-9471	If a time interval is an instance of week, then the number of instances in decomposition of the time interval into days is equal to 7
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9459-9461	If a time interval is an instance of year, then the number of instances in decomposition of the time interval into months is equal to 12
No TPTP formula. May not be expressible in strict first order.	Media.kif 2198-2207	If there can be at most an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 750-755	If a positive integer is a maximum replications of a computer program, then the positive integer is greater than or equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22640-22646	If an integer is a member count of a collection, then the integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 2161-2170	If there are at least an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 733-738	If a positive integer is a minimum replications of a computer program, then the number of instances in the class described by a symbolic string is greater than or equal to the positive integer
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