No TPTP formula. May not be expressible in strict first order. | Cars.kif 1772-1786 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16223-16223 | Group is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16224-16224 | Group is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7476-7476 | Group of animals is a subclass of group |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16234-16234 | Group of people is a subclass of group |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16604-16604 | Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1335-1335 | File system is a subclass of group |