| 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 | 域 使用的資源, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1995-1995 | 域 使用的資源, 2 and 計算機資源 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1993-1993 | 例 使用的資源 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1992-1992 | 例 使用的資源 and CaseRole |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1991-1991 | 子關係 使用的資源 and 患者 |
| 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 |
|
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