KappaFn |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 656-663 | A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 685-692 | A length measure is a total pipeline in area of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 655-667 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1981-1990 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 829-836 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3202-3215 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1224-1233 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1273-1282 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2887-2903 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2922-2940 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3095-3114 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3056-3073 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1411-1421 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3721-3739 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 233-245 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2956-2983 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2999-3026 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |