instrument

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10647-10657
No TPTP formula. May not be expressible in strict first order. Cars.kif 2142-2154
No TPTP formula. May not be expressible in strict first order. Cars.kif 3893-3903
No TPTP formula. May not be expressible in strict first order. Cars.kif 3905-3921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13008-13016
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10607-10617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3169-3180
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. Mid-level-ontology.kif 25093-25114
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. Medicine.kif 4123-4133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25264-25275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25252-25262
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3376-3408
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3475-3507
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6637-6645
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25821-25838
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3988-4002
No TPTP formula. May not be expressible in strict first order. Food.kif 365-372
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 577-586
No TPTP formula. May not be expressible in strict first order. naics.kif 8465-8488
No TPTP formula. May not be expressible in strict first order. naics.kif 7600-7618
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2181-2191

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