|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 268-268 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 293-293 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 274-274 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 264-264 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 262-262 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 296-296 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 299-299 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 263-263 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 265-265 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 287-287 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 273-273 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 290-290 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 277-277 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 281-281 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 284-284 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 283-283 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 300-300 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 301-301 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 269-269 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 282-282 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17817-17817 | Aircraft is a subclass of vehicle |
|
|
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