No TPTP formula. May not be expressible in strict first order. |
Media.kif 1243-1248 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1230-1235 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31079-31084 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31072-31077 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13398-13407 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13382-13390 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9768-9774 |
|
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. |
WMD.kif 205-211 |
|
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. |
WMD.kif 1179-1184 |
|
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 830-835 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 121-138 |
- If a vehicle is maximum payload height width a real number an unit of measure(s) for another real number another unit of measure(s),
- then there don't exist a process, a self connected object,, , a third real number,, , the third real numberU,, , a fourth real number and the fourth real numberU such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the width of the self connected object is the third real number the third real numberU(s) and the height of the self connected object is the fourth real number the fourth real numberU(s) and the third real numberU is equal to the other unit of measure and the fourth real numberU is equal to the unit of measure and the third real number is greater than the other real number and the fourth real number is greater than the real number
|