orientation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1003-1014 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9715-9720 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6237-6246 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14979-14990 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 224-231 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12930-12941 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20003-20015 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 500-505 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11587-11592 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1439-1448 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1469-1481 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1488-1500 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5561-5570 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 292-296 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 469-480 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13282-13287 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 224-237 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17065-17069 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17054-17058 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 204-213 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5147-5155 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9539-9544 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21147-21177 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |