property

-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 7216-7222
No TPTP formula. May not be expressible in strict first order. Geography.kif 7241-7247
No TPTP formula. May not be expressible in strict first order. Geography.kif 7181-7187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14149-14163
No TPTP formula. May not be expressible in strict first order. Merge.kif 16973-16979
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25580-25585
No TPTP formula. May not be expressible in strict first order. engineering.kif 230-234
No TPTP formula. May not be expressible in strict first order. engineering.kif 211-217
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2788-2800
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2808-2820
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2669-2685
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2623-2639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2687-2703
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2641-2659
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2712-2716
No TPTP formula. May not be expressible in strict first order. Merge.kif 17392-17402
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19499-19509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19515-19525
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3217-3229
No TPTP formula. May not be expressible in strict first order. Music.kif 490-497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14113-14115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14117-14121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14142-14147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14170-14176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14183-14192

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