No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14886-14891 |
|
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 13152-13158 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13964-13969 |
|
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 25864-25869 |
|
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 13287-13292 |
|
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 |