No TPTP formula. May not be expressible in strict first order. | Merge.kif 12830-12830 | Creation is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1197-1197 | Develop programs is a subclass of creation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1225-1225 | Produce studies is a subclass of creation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12858-12858 | Making is a subclass of creation |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2368-2368 | Opening new graphical window is a subclass of creation |