refers

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16153-16160
No TPTP formula. May not be expressible in strict first order. Law.kif 180-188
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2680-2682
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2709-2711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14523-14533
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 333-338
No TPTP formula. May not be expressible in strict first order. Merge.kif 13101-13106
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2025-2030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 898-904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14898-14903
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2295-2300
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12995-13003
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29691-29703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14875-14880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16281-16286
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3167-3174
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13244-13249
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2864-2869
No TPTP formula. May not be expressible in strict first order. Merge.kif 13045-13054
No TPTP formula. May not be expressible in strict first order. Merge.kif 10794-10799
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2043-2052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16007-16012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13266-13271
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13273-13278
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3312-3314

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