No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4373-4382 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 612-617 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3545-3555 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3593-3603 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1500-1512 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 120-131 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 101-111 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7971-7981 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14359-14366 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18678-18694 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24018-24027 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 80-94 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 778-788 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3179-3194 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3496-3510 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29627-29641 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10963-10976 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10921-10934 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10900-10913 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8753-8758 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 750-758 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16689-16701 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16670-16682 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 65-84 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |