equal - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 288-289
No TPTP formula. May not be expressible in strict first order.	Merge.kif 286-287
No TPTP formula. May not be expressible in strict first order.	Merge.kif 284-284	The number 1 argument of equal is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 285-285	The number 2 argument of equal is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 281-281	equal is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 282-282	equal is an instance of equivalence relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 283-283	equal is an instance of relation extended to quantities

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 297-297
No TPTP formula. May not be expressible in strict first order.	english_format.kif 181-181
No TPTP formula. May not be expressible in strict first order.	french_format.kif 171-171
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 96-96
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 123-123
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 116-116
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 179-179
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 387-387
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 136-136
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 205-205
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 298-298	"等于" is the printable form of equal in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4141-4141	"equal" is the printable form of equal in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 566-566	"«مُسَاوٍ لـ»" is the printable form of equal in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 206-206	"pareho" is the printable form of equal in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4893-4904	The absolute value of a real number is equal to a nonnegative real number and the real number is an instance of real number and the nonnegative real number is an instance of real number if and only if the real number is an instance of nonnegative real number and the real number is equal to the nonnegative real number or the real number is an instance of negative real number and the nonnegative real number is equal to (0 and the real number)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2252-2257	A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3748-3752	An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	People.kif 104-117	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 138-151	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6342-6347	The last of a list is equal to an entity if and only if there exists a positive integer such that length of the list is equal to the positive integer and the positive integerth element of the list is equal to the entity
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 221-238	The male to female ratio of a geopolitical area is equal to a real number if and only if a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by another organism and the number and the other number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 174-202	The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the third integer and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by the organism and (the number and the other number) is equal to another quantity and the other quantity and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 77-86	The population growth of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the population of the geopolitical area is equal to a fourth integer holds during the year the other integer and the third integer and the fourth integer is equal to a quantity and (the quantity and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5225-5227	A quantity mod another quantity is equal to a third quantity if and only if (the largest integer less than or equal to the quantity and the other quantity and the other quantity and the third quantity) is equal to the quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7962-7964	Value of belongings of an agent is equal to a currency measure if and only if value of belongings of the agent is the currency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4339-4341	The place where a physical was at a time point is equal to a region if and only if the physical is exactly located in the region holds during the time point
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3222-3229	There exist a currency measure, a chargingA fee and the chargingA feeAmount such that a human income earned the currency measure for an organizational process and the chargingA feeAmount is the amount charged in the chargingA fee and the organizational process causes the chargingA fee and a third currency measure is equal to (the currency measure and the chargingA feeAmount) if and only if the after tax income derived by the human from the organizational process is the third currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2948-2956	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is equal to the other currency measure if and only if the agent is an at the money of the agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11422-11432	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and the deontic attribute is equal to obligation or the deontic attribute is equal to promise, then the statement there exists a process such that the process expresses the content of the proposition and the cognitive agent is an agent of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2028-2035	If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea and another constant quantity is equal to the constant quantity and the real number the unit of measure(s), then the other constant quantity is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2019-2026	If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and an area measure is a total area of the geographic area and the area measure is an instance of area measure and another constant quantity is equal to the constant quantity and the area measure, then the other constant quantity is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist a process and a physical such that the process is an instance of zakat and a time interval is an instance of year and the time interval takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the time interval and the agent is an agent of the process and the physical is a patient of the process and value of the physical is another currency measure and the other currency measure is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Media.kif 2859-2865	If a symbolic string in ISO-4217-A denotes an UnitOfCurrency and an entity in ISO-3166-1-alpha-2 denotes a geopolitical area and the geopolitical area is a subclass of geopolitical area and the entity is equal to the sub-string of the symbolic string from 0 to 2, then the UnitOfCurrency is a currency type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 681-688	If a real number is the confidence in an experimenting and the experimenting is an instance of the experimentingING and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is false
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 672-679	If a real number is the confidence in an experimenting and the experimenting is an instance of the experimentingING and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is true

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4893-4904	The absolute value of a real number is equal to a nonnegative real number and the real number is an instance of real number and the nonnegative real number is an instance of real number if and only if the real number is an instance of nonnegative real number and the real number is equal to the nonnegative real number or the real number is an instance of negative real number and the nonnegative real number is equal to (0 and the real number)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2308-2325	A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and if for all another positive integer, an entity and a set or class if the other positive integer is less than the positive integer and the number the other positive integer argument of the relation is an instance of the set or class and the entity is equal to the other positive integerth element of (@ROW), then the entity is an instance of the set or class , then there exists a fourth entity such that the relation @ROW and the fourth entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3748-3752	An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 927-938	Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
No TPTP formula. May not be expressible in strict first order.	People.kif 285-306	A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer if the positive integer is a member of the other list, then there exist a quantity, the quantityMINUSONE,, , another positive integer and a third positive integer such that the quantity is greater than 1 and the quantity is less than or equal to length of the other list and the positive integerth element of the other list is equal to the quantity and the other positive integer is a member of the list and the quantity is equal to the other positive integerth element of the list and the third positive integer is a member of the other list and the quantityMINUSONE is equal to (the quantity and 1) and the quantityMINUSONE is equal to the third positive integerth element of the other list and the positive integer is equal to (the other positive integer and the third positive integer) and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer
No TPTP formula. May not be expressible in strict first order.	People.kif 1526-1537	A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection and another collection such that an object is located at the geographic area and the object is a member of the belief group and the object is a member of the collection and the real number1 is a member count of the collection and the object2 is located at the geographic area and the object2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1958-1963	The compression ratio of an engine is a real number if and only if the minimum volume of the cylinders in the engine the engine is another real number an unit of measure(s) and the maximum volume of the cylinders in the engine the engine is the unit of measureAX the unit of measure(s) and the real number is equal to the other real number and the unit of measureAX
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8448-8450	A physical occurs at the same time as another physical if and only if the time of existence of the physical is equal to the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	People.kif 104-117	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 138-151	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6342-6347	The last of a list is equal to an entity if and only if there exists a positive integer such that length of the list is equal to the positive integer and the positive integerth element of the list is equal to the entity
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 221-238	The male to female ratio of a geopolitical area is equal to a real number if and only if a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by another organism and the number and the other number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 174-202	The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the third integer and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by the organism and (the number and the other number) is equal to another quantity and the other quantity and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 77-86	The population growth of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the population of the geopolitical area is equal to a fourth integer holds during the year the other integer and the third integer and the fourth integer is equal to a quantity and (the quantity and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5225-5227	A quantity mod another quantity is equal to a third quantity if and only if (the largest integer less than or equal to the quantity and the other quantity and the other quantity and the third quantity) is equal to the quantity
No TPTP formula. May not be expressible in strict first order.	People.kif 1545-1556	A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection and another collection such that an object is located at the geographic area and the object is a member of the ethnic group and the object is a member of the collection and the real number1 is a member count of the collection and the object2 is located at the geographic area and the object2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8229-8237	A time interval finishes another time interval if and only if the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1930-1934	A quantity is greater than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27933-27944	Alone is an attribute of an object holds during an entity if and only if there don't exist another entity and a process such that a third entity is not equal to the other entity and the other entity is an instance of agent and the process is an instance of social interaction and the third entity is an involved in event of the process and the other entity is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12312-12322	An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3350-3359	An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Military.kif 928-941	The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by an organism
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 28-31	For all a real number the real number Ounce(s) is equal to the real number and 16 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4856-4857	For all an integer (the integer+2) is equal to (the integer and 1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4836-4837	For all an integer (the integer+1) is equal to (the integer and 1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3214-3217	For all @ROW and another entity length of (@ROW and the other entity) is equal to (length of (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3219-3223	For all @ROW and another entity length of (@ROW and the other entity)th element of (@ROW and the other entity) is equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 2852-2852	Big six is not equal to group of6

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Military.kif 867-876	The available for military service male of a geopolitical area is equal to the number of instances in the class described by an organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7585-7585	The beginning of before common era is equal to negative infinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14065-14065	The number of instances in continent is equal to 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 2005-2005	The number of instances in NativityMagi is equal to 3
No TPTP formula. May not be expressible in strict first order.	People.kif 462-472	The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by an agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7593-7593	The end of common era is equal to positive infinity
No TPTP formula. May not be expressible in strict first order.	Military.kif 890-901	The fit for military service male of a geopolitical area is equal to the number of instances in the class described by an organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7615-7615	0 Angular degree(s) is equal to 360 angular degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 382-382	1 Angular degree(s) is equal to 60 arc minute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 401-401	1 Arc minute(s) is equal to 60 arc second(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10963-10969	1 Cubic foot(s) is equal to 1 foot length(s) and 1 foot length(s) and 1 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3664-3664	1 Fathom(s) is equal to 6 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2012-2012	1 Kilowatt hour(s) is equal to 3.6 1 million joules(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2013-2013	1 Kilowatt hour(s) is equal to 3600000 joule(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10935-10937	1 Metric ton(s) is equal to 2205 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3684-3684	1 Nautical mile(s) is equal to 1852 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3683-3683	1 Nautical mile(s) is equal to 6076.1 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 621-622	1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3736-3737	1 Square meter(s) is equal to 1 meter(s) and 1 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11019-11023	1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11029-11033	1 Square yard(s) is equal to the per of 1 yard length(s) and 1 yard length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 402-402	A real number arc minute(s) is equal to 60 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6450-6453	A real number micrometer(s) is equal to a quantity and 0.0000001 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 383-383	A real number angular degree(s) is equal to 60 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7375-7377	A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: