No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2573-2587 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2554-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3095-3114 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3056-3073 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1012-1026 |
|
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. |
ArabicCulture.kif 151-163 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3376-3408 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3428-3455 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3475-3507 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10610-10618 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2501-2508 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10578-10586 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13909-13918 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10683-10691 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10651-10659 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10665-10675 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 50-72 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7953-7978 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2194-2210 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1837-1855 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7242-7257 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3125-3141 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7509-7521 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5126-5150 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |