equal |
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 |
![]() |
consequent |
![]() |
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 552-552 | 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 571-571 | 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 4093-4093 | 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 4116-4118 | 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 |
![]() |
![]() |