represents |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14887-14892 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1211-1216 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2409-2414 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2420-2425 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2301-2312 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2596-2605 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2264-2269 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13130-13136 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13965-13970 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1736-1746 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2398-2403 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3800-3810 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3015-3021 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2544-2552 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25876-25881 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 536-541 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 836-841 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 543-548 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 561-566 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 843-848 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13288-13293 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 554-559 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 592-597 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 25-30 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1311-1314 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |