| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | 子類 數字數據 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3304-3304 | 子類 HypertextLink and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 171-171 | 子類 電腦文件 and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 262-262 | 子類 包 and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1078-1078 | 子類 計算機路徑 and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1862-1862 | 子類 圖像文件 and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1869-1869 | 子類 數據庫 and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2105-2105 | 子類 電腦報導 and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | 子類 WebPage and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1494-1494 | 子類 WebSite and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2825-2825 | 子類 DigitalPost and 數字數據 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2859-2859 | 子類 DigitalComment and 數字數據 |
|
|