No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4336-4345 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 610-615 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3753-3763 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3801-3811 |
|
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 7641-7651 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14070-14077 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18050-18066 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23454-23463 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 709-719 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3461-3475 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29047-29061 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8633-8638 |
|
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 16130-16142 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16111-16123 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11372-11380 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22956-22969 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17992-18010 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3584-3616 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3636-3663 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3683-3715 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10519-10531 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |