lengthOfUnpavedHighway
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3232-3233 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12996-12998 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12995-12995 | Experimenting e' uma sub-classe de Investigacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22816-22816 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22815-22815 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22814-22814 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3158-3158 | O argumento numero 1 de GPIFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3125-3125 | O argumento numero 1 de GPSFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3084-3084 | O argumento numero 1 de PPIFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3047-3047 | O argumento numero 1 de PPSFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4198-4198 | O argumento numero 1 de QualifyingEventsFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3033-3033 | O argumento numero 1 de QualifyingPurchasesFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4274-4274 | O argumento numero 1 de TreatedUsersFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4301-4301 | O argumento numero 1 de burnInPeriod e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 528-528 | O argumento numero 1 de confidenceInterval e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3843-3843 | O argumento numero 2 de controlGroup e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2824-2824 | O argumento numero 1 de conversionEvent e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4331-4331 | O argumento numero 1 de exclusiveEvent e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4017-4017 | O argumento numero 2 de experimentID e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2673-2673 | O argumento numero 2 de experimentUpdate e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15749-15749 | O argumento numero 1 de experimentalControl e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3823-3823 | O argumento numero 1 de experimentalControlProcess e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3913-3913 | O argumento numero 1 de experimentalSubject e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4036-4036 | O argumento numero 2 de experimentalTreatmentCollection e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3870-3870 | O argumento numero 1 de experimentalVariableProcess e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3942-3942 | O argumento numero 1 de experimenter e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2694-2694 | O argumento numero 2 de finalExperimentReport e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 566-566 | O argumento numero 1 de pValue e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4054-4054 | O argumento numero 1 de qualifiedExperiment e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4072-4072 | O argumento numero 1 de qualifiedPageView e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4093-4093 | O argumento numero 1 de qualifiedTreatment e' uma instancia de Experimenting |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4407-4411 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4495-4499 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4455-4459 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4461-4465 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15737-15742 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2754-2763 |
|