No TPTP formula. May not be expressible in strict first order. | Merge.kif 1327-1327 | 有内用物体 是 躯体性物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | 有内用物体 是 内容承载物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1087-1087 | 船舶登记 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1106-1106 | 船舶登记 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 554-554 | 过程状态 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 672-672 | 反馈 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1674-1674 | 统一资源标识符 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | 用户帐号 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2261-2261 | 罗盘 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14407-14407 | SheetMusic 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14867-14867 | 节日贺卡 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17119-17119 | Sign 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17125-17125 | 纸牌 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24526-24526 | Descriptor 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24543-24543 | DescriptorPart 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26211-26211 | VisualContentBearingObject 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26386-26386 | Document 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1386 | Recording 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15360-15360 | 文本 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 682-682 | 宪法文件 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 381-381 | 多极图 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1363-1363 | 网络文件 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account 是 有内用物体 的 subclass |