No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2269-2269 |
BestMatchAlgorithm 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2164-2164 |
CodingScheme 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16783-16783 |
电脑程序 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1718-1718 |
电脑协定 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2255-2255 |
EncodingProcedure 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1161-1161 |
方法 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 690-690 |
拼字 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16798-16798 |
计划 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 808-808 |
Software 是 程序 的 subclass |
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 |
|