No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31041-31046 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2803-2816 |
- If long and thin is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13430-13439 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13414-13422 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1662-1674 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1235-1247 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1155-1167 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1900-1912 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1189-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1860-1872 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1788-1800 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1744-1756 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1542-1554 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1967-1973 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1305-1310 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3841-3845 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3784-3788 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3815-3819 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3867-3871 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 433-440 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 758-760 |
|