ChineseTraditionalLanguage |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1109-1109 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1043-1043 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1054-1054 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 999-999 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1009-1009 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1020-1020 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1031-1031 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1076-1076 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1065-1065 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1413-1414 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1641-1644 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1552-1552 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1696-1696 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1685-1685 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64630-64630 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9361-9361 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9369-9369 |