No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1683-1688 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5472-5472 | River e' uma sub-classe de Area aquatica em movimento |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5473-5473 | River e' uma sub-classe de Area Aquatica nao-salgada |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5474-5474 | River e' uma sub-classe de BodyOfWater |
![]() |