No TPTP formula. May not be expressible in strict first order. | Merge.kif 200-205 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21339-21339 | sub field is a subrelation of subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5391-5391 | subset is a subrelation of subclass |