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 |