refers |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16153-16160 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 180-188 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2680-2682 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2709-2711 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14523-14533 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 333-338 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13101-13106 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2025-2030 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 898-904 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14898-14903 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2295-2300 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12995-13003 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29691-29703 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14875-14880 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16281-16286 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3167-3174 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13244-13249 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2864-2869 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13045-13054 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10794-10799 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2043-2052 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16007-16012 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13266-13271 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13273-13278 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3312-3314 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |