No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2432-2445 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2456-2466 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2478-2486 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20507-20514 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1960-1975 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 944-955 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 655-669 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17051-17063 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5725-5736 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12190-12198 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 577-587 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11052-11057 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11036-11041 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11558-11567 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4061-4068 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8776-8797 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2725-2733 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 610-627 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2072-2080 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16582-16589 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2626-2635 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2577-2586 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2593-2602 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2512-2528 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2561-2570 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |