|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 186-186 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 164-164 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 212-212 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 222-222 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 168-168 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 201-201 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 178-178 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 223-223 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 176-176 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 196-196 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 203-203 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 209-209 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 202-202 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 179-179 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 219-219 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 198-198 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 171-171 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 207-207 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 188-188 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 200-200 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 206-206 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 226-226 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 166-166 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 211-211 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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