No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2269-2269 |
子類 BestMatchAlgorithm and Procedure |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2164-2164 |
子類 CodingScheme and Procedure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16854-16854 |
子類 ComputerProgram and Procedure |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1718-1718 |
子類 電腦協定 and Procedure |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2255-2255 |
子類 EncodingProcedure and Procedure |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1161-1161 |
子類 方法 and Procedure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 683-683 |
子類 拼字 and Procedure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16869-16869 |
子類 Plan and Procedure |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 808-808 |
子類 Software and Procedure |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1232-1232 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1685-1685 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 910-910 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 443-443 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 446-446 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2594-2594 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 862-862 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 448-448 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 482-482 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 931-931 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 447-447 |
|