CurrencyMeasure
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2036-2038 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10328-10328 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4542-4542 | UserAccount e' uma sub-classe de Account |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | UserAccount e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2001-2001 | AppleID e' uma sub-classe de UserAccount |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60844-60844 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60843-60843 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60842-60842 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 626-626 | O argumento numero 1 de accountAtSite e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4411-4411 | O argumento numero 1 de accountInformation e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4157-4157 | O argumento numero 1 de accountPhoneNumber e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4162-4162 | O argumento numero 2 de accountUsed e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3950-3950 | O argumento numero 1 de deviceAccount e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2071-2071 | O argumento numero 2 de hasAccount e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4330-4330 | O argumento numero 2 de loggedInDuring e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2098-2098 | O argumento numero 2 de password e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4421-4421 | O argumento numero 2 de recoveryKey e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4285-4285 | O argumento numero 1 de trustedDevice e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 710-710 | O argumento numero 1 de userFeedbackScore e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1091-1091 | O argumento numero 2 de userIDString e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2060-2060 | O argumento numero 1 de userName e' uma instancia de UserAccount |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 660-665 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4482-4491 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4498-4507 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1105-1110 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2040-2043 |
consequent |