|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 693-693 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 679-679 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 692-692 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 686-686 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 688-688 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 675-675 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 683-683 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4041-4041 | Rock is a ground subsurface type of mountain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4040-4040 | Rock is a ground surface type of mountain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | Mountain is a subclass of land form |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | Mountain is a subclass of upland area |
|
|
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