No TPTP formula. May not be expressible in strict first order. |
People.kif 257-281 |
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 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. |
Merge.kif 1888-1892 |
A real number is an instance of negative real number if and only if the real number is less than 0 and the real number is an instance of real number |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1807-1811 |
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 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18079-18088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18094-18104 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18110-18120 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18126-18136 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1101-1109 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2563-2568 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13043-13052 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12971-12980 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12982-12993 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12933-12942 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4862-4876 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4595-4599 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 725-748 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1391-1400 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1943-1957 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 892-898 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 882-890 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4432-4442 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10831-10844 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1931-1945 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 507-516 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10811-10824 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |