No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 845-847 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9996-9996 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10912-10912 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10908-10908 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10913-10913 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10910-10910 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10914-10914 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10909-10909 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10915-10915 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10911-10911 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 844-844 |
Electronic reconnaissance is a subclass of reconnaissance operation |