No TPTP formula. May not be expressible in strict first order. | Merge.kif 13182-13182 | Ordonner est une sous-classe de diriger |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1657-1657 | OperationOrder est une sous-classe de ordonner |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16222-16222 | LegalSummons est une sous-classe de ordonner |