resourceUsed |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1996-1997 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1994-1994 | O argumento numero 1 de resourceUsed e' uma instancia de ComputerProcess |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1995-1995 | O argumento numero 2 de resourceUsed e' uma instancia de ComputerResource |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1993-1993 | resourceUsed e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1992-1992 | resourceUsed e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1991-1991 | resourceUsed e' uma sub-relacao de patient |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4426-4426 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4425-4425 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4424-4424 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49742-49742 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49741-49741 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49740-49740 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1981-1989 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1966-1971 |
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1981-1989 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1976-1979 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1961-1964 |