No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 730-730 | Air reconnaissance is a subclass of reconnaissance operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 743-743 | Air photographic reconnaissance is a subclass of air reconnaissance |