| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12784-12784 | Cr�ation est une sous-classe de changement interne |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1197-1197 | DevelopPrograms est une sous-classe de cr�ation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1225-1225 | ProduceStudies est une sous-classe de cr�ation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12812-12812 | Faire est une sous-classe de cr�ation |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2368-2368 | OpeningNewGraphicalWindow est une sous-classe de cr�ation |
|
|