No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17124-17124 | Playing card is a subclass of game artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17125-17125 | Playing card is a subclass of content bearing object |