refers |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16152-16159 | |
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 14522-14532 | |
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 13123-13128 | |
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 14897-14902 | |
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 12994-13002 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29679-29691 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14874-14879 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16280-16285 | |
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 13243-13248 | |
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 13067-13076 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10816-10821 | |
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 16006-16011 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13265-13270 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13272-13277 | |
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 |