|
| 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 | 岩石 是 山 表面下的 ground |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4040-4040 | 岩石 是 山 的 ground 表面类别 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | 山 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | 山 是 高地地区 的 subclass |
|
|
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