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 7645-7655 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14076-14083 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18054-18070 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23458-23467 |
|
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 29051-29065 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8639-8644 |
|
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 16134-16146 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16115-16127 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11378-11386 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22960-22973 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17996-18014 |
|
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 10525-10537 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |