| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 617-618 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 615-615 | The number 1 argument of rM program-of is an instance of resource management program |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 616-616 | The number 2 argument of rM program-of is an instance of software system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 614-614 | rM program-of is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2167-2167 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2166-2166 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2165-2165 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50150-50150 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50149-50149 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50148-50148 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 623-630 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 674-682 | An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners