| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15983-15983 | Social party is a subclass of meeting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15984-15984 | Social party is a subclass of recreation or exercise |
|
|