part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18225-18235 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2567-2583 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4257-4263 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9903-9909 |
|
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. | Economy.kif 3840-3845 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1321-1332 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11531-11538 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9839-9861 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2763-2777 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1619-1630 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1632-1644 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1008-1019 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9900-9922 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 853-866 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11675-11680 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11655-11660 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 69-73 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 586-591 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12848-12854 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12859-12863 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2873-2884 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3416-3426 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18117-18122 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |