No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5130-5142 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5104-5115 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18342-18357 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2636-2644 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3083-3102 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5790-5799 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6062-6068 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2120-2131 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30650-30671 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 501-514 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12405-12419 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 853-866 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2162-2175 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5015-5024 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4089-4121 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 108-122 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7142-7162 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 224-231 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2784-2796 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2746-2754 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 812-817 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1033-1060 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 876-887 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |