containsInformation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14412-14417 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2754-2763 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3932-3935 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4608-4613 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 504-513 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4645-4652 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4535-4545 |