No TPTP formula. May not be expressible in strict first order. | Merge.kif 13177-13177 | Directing is a subclass of linguistic communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13182-13182 | Ordering is a subclass of directing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13194-13194 | Requesting is a subclass of directing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13208-13208 | Questioning is a subclass of directing |