located |
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 |