| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1533-1533 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 667-668 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 98-99 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 115-116 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 670-670 | The number 1 argument of external image is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 671-671 | The number 2 argument of external image is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 665-665 | external image is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3384-3384 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3383-3383 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3382-3382 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65859-65859 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 326-326 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4474-4474 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 325-325 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 327-327 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 205-205 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 206-206 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 207-207 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 208-208 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 552-552 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 548-548 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 550-550 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 547-547 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 551-551 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 549-549 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 329-329 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 339-339 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 337-337 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 336-336 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1032-1032 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 333-333 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 340-340 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 331-331 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 338-338 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 332-332 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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