equal


Sigma KEE  equal
appearance as argument number 1


No TPTP formula. May not be expressible in strict first order. 
chinese_format.kif 13911392 

No TPTP formula. May not be expressible in strict first order. 
japanese_format.kif 4849 

No TPTP formula. May not be expressible in strict first order. 
spanish_format.kif 5354 

appearance as argument number 2


No TPTP formula. May not be expressible in strict first order. 
chinese_format.kif 297297 

No TPTP formula. May not be expressible in strict first order. 
english_format.kif 302302 

No TPTP formula. May not be expressible in strict first order. 
french_format.kif 171171 

No TPTP formula. May not be expressible in strict first order. 
relationsit.txt 9696 

No TPTP formula. May not be expressible in strict first order. 
japanese_format.kif 19911991 

No TPTP formula. May not be expressible in strict first order. 
portuguese_format.kif 123123 

No TPTP formula. May not be expressible in strict first order. 
relationscz.txt 179179 

No TPTP formula. May not be expressible in strict first order. 
relationsde.txt 387387 

No TPTP formula. May not be expressible in strict first order. 
relationshindi.txt 136136 

No TPTP formula. May not be expressible in strict first order. 
relationsro.kif 191191 

No TPTP formula. May not be expressible in strict first order. 
relationssv.txt 178178 

No TPTP formula. May not be expressible in strict first order. 
relationstg.txt 205205 

No TPTP formula. May not be expressible in strict first order. 
chinese_format.kif 298298 

No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 2231722317 

No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 2231622316 

No TPTP formula. May not be expressible in strict first order. 
relationstg.txt 206206 

antecedent


No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47684779 
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.0 and the real number) 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 23212326 
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. 
People.kif 357390 
A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to 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 and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
People.kif 8297 
A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 118133 
A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 238264 
A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 403436 
A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to 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 and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
People.kif 310342 
A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to 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 and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
People.kif 156187 
A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 5264 
A year is an instance of the year an integer and the population growth of a geopolitical area and the year is equal to a real number if and only if (the integer and the integerP) is equal to 1 and a time position is an instance of the year the integerP and the population of the geopolitical area is equal to another real number holds during the year and the population of the geopolitical area is equal to a third real number holds during the time position and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 206223 
The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Weather.kif 15081513 
A real number is equal to The StandardDeviationFn of a list if and only if the real number is equal to the squareRoot of The VarianceFn the list 
No TPTP formula. May not be expressible in strict first order. 
Weather.kif 17021708 
A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s) 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 30343042 
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 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. 
Midlevelontology.kif 1407914089 

No TPTP formula. May not be expressible in strict first order. 
Geography.kif 20802090 

No TPTP formula. May not be expressible in strict first order. 
Medicine.kif 172187 

No TPTP formula. May not be expressible in strict first order. 
Medicine.kif 155170 

No TPTP formula. May not be expressible in strict first order. 
ArabicCulture.kif 204223 

No TPTP formula. May not be expressible in strict first order. 
Medicine.kif 39844004 

No TPTP formula. May not be expressible in strict first order. 
ComputingBrands.kif 26932704 

No TPTP formula. May not be expressible in strict first order. 
ComputingBrands.kif 26652676 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 40784095 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80868094 

No TPTP formula. May not be expressible in strict first order. 
Media.kif 28892895 

 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 47684779 
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.0 and the real number) 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2632926340 
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 the proposition is equal to the other proposition 
No TPTP formula. May not be expressible in strict first order. 
People.kif 357390 
A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to 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 and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
People.kif 8297 
A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 118133 
A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 238264 
A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 403436 
A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to 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 and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
People.kif 310342 
A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to 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 and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
People.kif 156187 
A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 5264 
A year is an instance of the year an integer and the population growth of a geopolitical area and the year is equal to a real number if and only if (the integer and the integerP) is equal to 1 and a time position is an instance of the year the integerP and the population of the geopolitical area is equal to another real number holds during the year and the population of the geopolitical area is equal to a third real number holds during the time position and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 751762 
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 272293 
A real number is an average of a list if and only if there exist another list and a positive integer 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 another positive integer and the positive integer is equal to length of the other list and the real number is equal to 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 15281539 
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 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 19281933 
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. 
People.kif 206223 
The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Weather.kif 15081513 
A real number is equal to The StandardDeviationFn of a list if and only if the real number is equal to the squareRoot of The VarianceFn the list 
No TPTP formula. May not be expressible in strict first order. 
Weather.kif 17021708 
A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s) 
No TPTP formula. May not be expressible in strict first order. 
People.kif 15471558 
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 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 18851889 
A real number is greater than or equal to another real number if and only if the real number is equal to the other real number or the real number is greater than the other real number 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 3022330236 
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 the entity is not equal to 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 35043513 
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 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 64786488 
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 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 34883494 
An entity is an instance of hemisphere if and only if the entity is equal to northern hemisphere or the entity is equal to southern hemisphere or the entity is equal to eastern hemisphere or the entity is equal to western hemisphere 
No TPTP formula. May not be expressible in strict first order. 
People.kif 15661577 
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 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 18671871 
A real number is less than or equal to another real number if and only if the real number is equal to the other real number or the real number is less than the other real number 
 Display limited to 25 items. Show next 25 
 Display limited to 25 items. Show next 25 
statement


