No TPTP formula. May not be expressible in strict first order. | Merge.kif 1327-1327 | Content bearing object is a subclass of corpuscular object |
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. | Transportation.kif 1087-1087 | Ship registration is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1106-1106 | Ship register is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 554-554 | Process state is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 672-672 | Feedback is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1674-1674 | Uniform resource identifier is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | User account is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2261-2261 | Compass is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14406-14406 | Sheet music is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14866-14866 | Holiday card is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17118-17118 | Sign is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17124-17124 | Playing card is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24525-24525 | Descriptor is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24542-24542 | Descriptor part is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26199-26199 | Visual content bearing object is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26374-26374 | Document is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1386 | Recording is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15382-15382 | Text is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Government.kif 682-682 | Constitution document is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 381-381 | Multipole diagram is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1363-1363 | Web document is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account is a subclass of content bearing object |