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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners