No TPTP formula. May not be expressible in strict first order. | Merge.kif 13199-13199 | 子類 Directing and 語言交流 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13204-13204 | 子類 Ordering and Directing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13216-13216 | 子類 Requesting and Directing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13230-13230 | 子類 Questioning and Directing |
![]() |