earlier |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 949-964 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 768-788 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8699-8704 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3907-3914 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3640-3650 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 694-710 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3870-3882 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 783-797 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 799-817 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29445-29456 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29417-29429 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5010-5022 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2698-2714 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8382-8384 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3795-3797 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9395-9407 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4345-4355 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 242-250 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22307-22321 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9747-9755 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5308-5318 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30194-30202 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 760-766 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 774-780 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |