No TPTP formula. May not be expressible in strict first order. |
Media.kif 1245-1250 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1232-1237 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33015-33020 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33008-33013 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9907-9912 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14737-14746 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14721-14729 |
|
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. |
Transportation.kif 3052-3060 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2942-2948 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3029-3037 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3010-3018 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2804-2810 |
|
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 4284-4288 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4227-4231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4258-4262 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4310-4314 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 995-1000 |
|
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 equal the third real numberU and the other unit of measure and equal the fourth real numberU and 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
|