No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 205-205
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 163-163
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 224-224
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 175-175
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 197-197
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 165-165
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 194-194
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 215-215
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 217-217
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 214-214
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 227-227
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 174-174
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 216-216
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 199-199
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 189-189
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 190-190
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 187-187
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 220-220
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4905-4905	Goat is a subclass of hoofed mammal

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