Formula(Formula) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3882-3882 | O argumento numero 2 de holdsDuring e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17446-17446 | O argumento numero 1 de holdsObligation e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17426-17426 | O argumento numero 1 de holdsRight e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2596-2596 | O argumento numero 1 de increasesLikelihood e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2597-2597 | O argumento numero 2 de increasesLikelihood e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2633-2633 | O argumento numero 1 de independentProbability e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2634-2634 | O argumento numero 2 de independentProbability e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2826-2826 | O argumento numero 2 de knows e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17302-17302 | O argumento numero 1 de modalAttribute e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Law.kif 22-22 | O argumento numero 2 de permits e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2687-2687 | O argumento numero 2 de prefers e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2688-2688 | O argumento numero 3 de prefers e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Law.kif 44-44 | O argumento numero 2 de prohibits e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2989-2989 | O argumento numero 2 de rateDetail e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2846-2846 | O argumento numero 2 de says e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4142-4142 | O argumento numero 2 de treatedPageDefinition e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1163-1163 | O argumento numero 2 de visitorParameter e' uma instancia de Formula |