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 14407-14407 | Sheet music is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14867-14867 | Holiday card is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17119-17119 | Sign is a subclass of content bearing object |
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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24526-24526 | Descriptor is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24543-24543 | Descriptor part is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26211-26211 | 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 26386-26386 | 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 15360-15360 | 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 |