No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9560-9573 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12196-12196 | 子類 Keeping and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12222-12222 | 子類 Confining and Keeping |
No TPTP formula. May not be expressible in strict first order. | Food.kif 184-184 | 子類 PreservingFood and Keeping |
![]() |