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 | The number 1 argument of resource used is an instance of computer process |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1995-1995 | The number 2 argument of resource used is an instance of computer resource |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1993-1993 | resource used is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1992-1992 | resource used is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1991-1991 | resource used is a subrelation of 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 |
|