No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13868-13878 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17507-17520 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17871-17880 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 363-374 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21014-21024 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4521-4538 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27585-27594 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28493-28501 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1946-1957 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1463-1468 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13994-14007 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 355-373 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22351-22360 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1790-1798 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2858-2862 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1492-1504 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 486-495 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 101-111 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1902-1906 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1890-1894 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1914-1918 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1908-1912 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1896-1900 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3547-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23112-23123 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |