TreeView Knowledge Base Browser

appearance as argument number 2

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.	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-sv.txt 178-178
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.	relations-tg.txt 206-206

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4796-4807	equal the absolute value of a real number and 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 equal the real number and the nonnegative real number or the real number is an instance of negative real number and equal the nonnegative real number and (0.0 and the real number)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2338-2343	A financial account is an instance of financial account and a cognitive agent possesses a financial asset and equal the financial account and 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.	People.kif 357-390	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	A year is an instance of the year an integer and equal the births per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	A year is an instance of the year an integer and equal the deaths per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and equal the female life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	A year is an instance of the year an integer and equal the life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	A year is an instance of the year an integer and equal the migrants per thousand of a geopolitical area and the year and a real number if and only if equal (the integer and another integer) and 1 and an entity is an instance of the year the other integer and equal the population of the geopolitical area and another real number holds during the year and equal the other real number and 1000 and a third real number and equal a third integer and the number of instances in the class described by a symbolic string and equal a fourth integer and the number of instances in the class described by the symbolic string and equal (the third integer and the fourth integer) and a fourth real number and equal the fourth real number and the third real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	A year is an instance of the year an integer and equal the population growth of a geopolitical area and the year and a real number if and only if equal (the integer and the integerP) and 1 and a time position is an instance of the year the integerP and equal the population of the geopolitical area and another real number holds during the year and equal the population of the geopolitical area and a third real number holds during the time position and equal the other real number and the third real number and a fourth real number and equal (the fourth real number and 1) and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	equal the male to female ratio of a geopolitical area and a real number if and only if equal an integer and the number of instances in the class described by a symbolic string and equal another integer and the number of instances in the class described by another symbolic string and equal the integer and the other integer and the real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2003-2005	equal a kind of biological agent and infection a kind of organism if and only if a kind of organism is a biological agent carrier of a kind of biological agent
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2194-2199	equal a real number and The StandardDeviationFn of a list if and only if equal the real number and the squareRoot of The VarianceFn the list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2387-2393	equal a function quantity and a real number miles per hour(s) if and only if equal the function quantity and the real number mile(s) per 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3059	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 is price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and equal the financial instrumentPrice and 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 15450-15460	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and equal the deontic attribute and obligation or equal the deontic attribute and promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2205-2215	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and equal a third real number and the real number and the other real number, then the third real number the unit of measure(s) is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5684-5694	If a length measure is the LengthMeasure of a circular arc and equal the circular arc and circular arc, then there exist a geometric point and the geometric point2 such that the geometric point is a vertex of the circular arc and the geometric point2 is a vertex of the circular arc and equal the geometric point and the geometric point2 and the geometric point is geometric distance the geometric point2 for the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5700-5710	If a real number an unit of measure(s) is the LengthMeasure of a circular arc and equal the circular arc and semicircular arc, then there exist a circle and another real number such that equal the circle and circle and the circle is a geometric part of the circular arc and circumference the circle and the other real number the unit of measure(s) and equal the other real number and (the real number and the real number)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	If anaemia is 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 equal the objectE and 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 less than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	If anaemia is 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 equal the objectE and 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 less than 13
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity 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.	Medicine.kif 3987-4007	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and equal the agent and the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	If concave is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and equal a third object and the line between the object and the other object and equal the object and the other object and a fourth object is a part of the third object, then the fourth object is outside to the self connected object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	If convex is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and equal a third object and the line between the object and the other object and equal the object and the other object and a fourth object is a part of the third object, then the fourth object is inside to the self connected object

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 4796-4807	equal the absolute value of a real number and 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 equal the real number and the nonnegative real number or the real number is an instance of negative real number and equal the nonnegative real number and (0.0 and the real number)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28228-28239	A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and equal the proposition and the other proposition
No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	A year is an instance of the year an integer and equal the births per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	A year is an instance of the year an integer and equal the deaths per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and equal the female life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	A year is an instance of the year an integer and equal the life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	A year is an instance of the year an integer and equal the migrants per thousand of a geopolitical area and the year and a real number if and only if equal (the integer and another integer) and 1 and an entity is an instance of the year the other integer and equal the population of the geopolitical area and another real number holds during the year and equal the other real number and 1000 and a third real number and equal a third integer and the number of instances in the class described by a symbolic string and equal a fourth integer and the number of instances in the class described by the symbolic string and equal (the third integer and the fourth integer) and a fourth real number and equal the fourth real number and the third real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	A year is an instance of the year an integer and equal the population growth of a geopolitical area and the year and a real number if and only if equal (the integer and the integerP) and 1 and a time position is an instance of the year the integerP and equal the population of the geopolitical area and another real number holds during the year and equal the population of the geopolitical area and a third real number holds during the time position and equal the other real number and the third real number and a fourth real number and equal (the fourth real number and 1) and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 744-755	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 equal the process and 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 272-293	A real number is an average of a list if and only if there exist another list and a positive integer such that equal length of the other list and length of the list and equal 1th element of the other list and 1th element of the list and for all another positive integer if the other positive integer is a member of the other list, then there exist another real number, the other real numberMINUSONE,, , a third positive integer and a fourth positive integer such that the other real number is greater than 1 and the other real number is less than or equal to length of the other list and equal the other positive integerth element of the other list and the other real number and the third positive integer is a member of the list and equal the other real number and the third positive integerth element of the list and the fourth positive integer is a member of the other list and equal the other real numberMINUSONE and (the other real number and 1) and equal the other real numberMINUSONE and the fourth positive integerth element of the other list and equal the other positive integer and (the third positive integer and the fourth positive integer) and equal the positive integer and length of the other list and equal the real number and the positive integerth element of the other list and the positive integer
No TPTP formula. May not be expressible in strict first order.	People.kif 1529-1540	A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the belief group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 is a member of the other collection and the real number2 is a member count of the other collection and equal the real number and 100 and the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1912-1917	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 equal the real number and the other real number and the unit of measureAX
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	equal the male to female ratio of a geopolitical area and a real number if and only if equal an integer and the number of instances in the class described by a symbolic string and equal another integer and the number of instances in the class described by another symbolic string and equal the integer and the other integer and the real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2194-2199	equal a real number and The StandardDeviationFn of a list if and only if equal the real number and the squareRoot of The VarianceFn the list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2387-2393	equal a function quantity and a real number miles per hour(s) if and only if equal the function quantity and the real number mile(s) per 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	People.kif 1548-1559	A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the ethnic group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 is a member of the other collection and the real number2 is a member count of the other collection and equal the real number and 100 and the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32141-32154	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that equal the entity and the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3629-3638	An entity is an instance of continent if and only if equal africa and the entity or equal north america and the entity or equal south america and the entity or equal antarctica and the entity or equal europe and the entity or equal asia and the entity or equal oceania and the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7415-7425	An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and equal the object and 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 3613-3619	An entity is an instance of hemisphere if and only if equal the entity and northern hemisphere or equal the entity and southern hemisphere or equal the entity and eastern hemisphere or equal the entity and western hemisphere
No TPTP formula. May not be expressible in strict first order.	People.kif 1567-1578	A real number percent of people in a geographic area speak a language if and only if there exist a collection, another collection,, , a sentient agent,, , the sentient agent2,, , the real number1 and the real number2 such that the sentient agent is located at the geographic area and the sentient agent is a member of the collection and the language is a speaks language of the sentient agent and the real number1 is a member count of the collection and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and the real number2 is a member count of the other collection and equal the real number and 100 and the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1881	A real number is less than or equal to another real number if and only if equal the real number and the other real number or the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26158-26160	The concatenation of a symbolic string and another symbolic string is a third symbolic string if and only if equal the third symbolic string and the concatenation of the symbolic string and the other symbolic string

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.	People.kif 456-469	A year is an instance of the year an integer and equal the children born per woman of a geopolitical area and the year and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 1001-1014	equal the reaching military age annually male of a geopolitical area and a year and 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 14672-14675	For all a real number equal the real number Ounce(s) and the real number and 16.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4764-4765	For all an integer equal (the integer+2) and (the integer and 1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4748-4749	For all an integer equal (the integer+1) and (the integer and 1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3050-3053	For all @ROW and another entity equal length of (@ROW and the other entity) and (length of (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3055-3059	For all @ROW and another entity equal length of (@ROW and the other entity)th element of (@ROW and the other entity) and the other entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 2876-2876	equal big six and group of6

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5293-5293	equal the arccosine of the cosine of a real number and the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5303-5303	equal the arcsine of the sine of a real number and the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5283-5283	equal the arctan of the tangent of a real number and the real number
No TPTP formula. May not be expressible in strict first order.	Military.kif 940-949	equal the available for military service male of a geopolitical area and 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 5635-5638	equal the number of instances in the class described by a symbolic string and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5910-5913	equal the number of instances in the class described by a symbolic string and 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5522-5525	equal the number of instances in the class described by a symbolic string and 3
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14335-14335	equal the number of instances in continent and 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 2005-2005	equal the number of instances in Nativity magi and 3
No TPTP formula. May not be expressible in strict first order.	Military.kif 963-974	equal the fit for military service male of a geopolitical area and 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 10422-10422	equal The Janka Hardness of Aspen tree is and 350 pound force(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10425-10425	equal The Janka Hardness of Beech tree is and 1300 pound force(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10423-10423	equal The Janka Hardness of Poplar tree is and 540 pound force(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10424-10424	equal The Janka Hardness of red oak tree is and 1290 pound force(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10426-10426	equal The Janka Hardness of white oak tree is and 1360 pound force(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3105-3107	equal 1 feu(s) and 2 teu(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2248-2248	equal 1 kilowatt hour(s) and 3.6 1 million joules(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2249-2249	equal 1 kilowatt hour(s) and 3600000.0 joule(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7137-7139	equal 1 week duration(s) and 7 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7164-7166	equal 1 year duration(s) and 365 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 519-519	equal 1.0 angular degree(s) and 60.0 arc minute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 538-538	equal 1.0 arc minute(s) and 60.0 arc second(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4060-4060	equal 1.0 fathom(s) and 6.0 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14940-14942	equal 1.0 metric ton(s) and 2205.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4083-4085	equal 1.0 nautical mile(s) and 1852.0 meter(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: