No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | Content bearing physical is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26205-26205 | Visual content bearing physical is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1316-1316 | Content bearing process is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | Content bearing object is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | Symbolic string is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | Icon is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | Linguistic expression is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1280-1280 | Brand is a subclass of content bearing physical |