DirectionalAttribute
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3802-3803 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17001-17002 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10864-10864 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9984-9984 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17000-17000 | Atributo Directional e' uma sub-classe de Atributo Posicional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17022-17022 | East e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17011-17011 | North e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3648-3648 | Northeast e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3682-3682 | Northwest e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17015-17015 | South e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3659-3659 | Southeast e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3670-3670 | Southwest e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17025-17025 | West e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1237-1237 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1695-1695 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 915-915 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 448-448 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 451-451 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2599-2599 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 867-867 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 453-453 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 487-487 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 936-936 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 452-452 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1277-1277 | O argumento numero 4 de AccelerationFn e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 477-477 | O argumento numero 1 de DirectionalSubregionFn e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 406-406 | O argumento numero 1 de LatitudeFn e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 444-444 | O argumento numero 1 de LongitudeFn e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6671-6671 | O argumento numero 4 de VelocityFn e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16955-16955 | O argumento numero 2 de faces e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 253-253 | O argumento numero 3 de highAltitudeWindVelocity e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 204-204 | O argumento numero 3 de lowAltitudeWindVelocity e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3770-3770 | O argumento numero 3 de magneticVariation e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 230-230 | O argumento numero 3 de mediumAltitudeWindVelocity e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1688-1688 | O argumento numero 2 de slopeGradientTowardsOrientation e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 169-169 | O argumento numero 2 de surfaceWindDirection e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 106-106 | O argumento numero 3 de surfaceWindVelocity e' uma instancia de Atributo Directional |
antecedent |
consequent |