No TPTP formula. May not be expressible in strict first order. |
Media.kif 1257-1267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26457-26475 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25305-25315 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2138-2146 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26973-26999 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8184-8197 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8207-8225 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8139-8150 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8159-8175 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 144-169 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 104-118 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 120-135 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 559-569 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30772-30783 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1572-1580 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2610-2615 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 456-461 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5805-5811 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4374-4379 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30745-30758 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1906-1921 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2739-2747 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2009-2015 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2061-2067 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |