|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 533-533 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 532-532 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 501-501 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 514-514 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 535-535 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 526-526 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 534-534 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 519-519 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 502-502 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 528-528 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 494-494 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 515-515 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 524-524 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 527-527 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 513-513 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 512-512 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 530-530 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 522-522 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 497-497 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 517-517 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 525-525 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 506-506 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15957-15957 | Musical instrument is a subclass of device |
|
|
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