No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21431-21442 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 349-357 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19582-19594 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16293-16298 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16330-16335 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2469-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2451-2460 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2389-2398 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18107-18111 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18821-18827 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18849-18854 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8623-8634 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25235-25244 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1071-1081 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1095-1105 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13825-13831 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 32-44 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12357-12363 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2654-2674 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2681-2697 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2704-2719 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12171-12178 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10527-10532 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 526-540 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1087-1092 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |