No TPTP formula. May not be expressible in strict first order. | Merge.kif 12784-12784 | 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 12812-12812 | 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 |