hasPurpose |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1876-1888 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3449-3460 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 509-521 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 463-475 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2811-2830 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2142-2154 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11631-11639 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 257-270 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2930-2948 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2957-2973 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7231-7240 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2730-2744 | |
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. | Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8154-8162 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5369-5379 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2909-2921 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25093-25114 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12910-12920 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 65-84 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17352-17368 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4123-4133 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |