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 |
groundSubsurfaceType Mountain and Rock |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4040-4040 |
groundSurfaceType Mountain and Rock |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4026-4026 |
Mountain e' uma sub-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4027-4027 |
Mountain e' uma sub-classe de UplandArea |