subclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5267-5276
No TPTP formula. May not be expressible in strict first order. Economy.kif 5258-5265
No TPTP formula. May not be expressible in strict first order. Economy.kif 5032-5036
No TPTP formula. May not be expressible in strict first order. Food.kif 2906-2914
No TPTP formula. May not be expressible in strict first order. Economy.kif 5041-5046
No TPTP formula. May not be expressible in strict first order. Economy.kif 5051-5056
No TPTP formula. May not be expressible in strict first order. Economy.kif 4715-4721
No TPTP formula. May not be expressible in strict first order. Economy.kif 5296-5301
No TPTP formula. May not be expressible in strict first order. Economy.kif 5306-5311
No TPTP formula. May not be expressible in strict first order. Economy.kif 5316-5321
No TPTP formula. May not be expressible in strict first order. Economy.kif 5421-5426
No TPTP formula. May not be expressible in strict first order. Economy.kif 5326-5333
No TPTP formula. May not be expressible in strict first order. Economy.kif 5431-5436
No TPTP formula. May not be expressible in strict first order. Economy.kif 5284-5291
No TPTP formula. May not be expressible in strict first order. Economy.kif 5441-5446
No TPTP formula. May not be expressible in strict first order. Economy.kif 5338-5343
No TPTP formula. May not be expressible in strict first order. Economy.kif 5348-5353
No TPTP formula. May not be expressible in strict first order. Economy.kif 5461-5466
No TPTP formula. May not be expressible in strict first order. Economy.kif 5358-5363
No TPTP formula. May not be expressible in strict first order. Economy.kif 5368-5373
No TPTP formula. May not be expressible in strict first order. Economy.kif 5378-5383
No TPTP formula. May not be expressible in strict first order. Economy.kif 5409-5416
No TPTP formula. May not be expressible in strict first order. Economy.kif 5451-5456
No TPTP formula. May not be expressible in strict first order. Economy.kif 5388-5393
No TPTP formula. May not be expressible in strict first order. Economy.kif 5398-5403

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