No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 944-952 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2887-2903 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2845-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2922-2940 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1033-1060 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3970-3985 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3911-3926 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3879-3894 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 719-731 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1772-1786 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2673-2682 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1458-1467 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1450-1456 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1351-1355 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 285-296 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1344-1348 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1061-1065 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1084-1088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18814-18820 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16228-16232 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16238-16242 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1771-1780 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1270-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7023-7027 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7940-7947 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |