| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18327-18329 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18323-18323 | 域 DepartmentOfFn, 1 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18324-18324 | 域子類 DepartmentOfFn, 2 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18322-18322 | 例 DepartmentOfFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18325-18325 | 範圍 DepartmentOfFn and Organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18332-18332 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18389-18389 | 子關係 DepartmentOfPreventingFn and DepartmentOfFn |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18331-18331 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18343-18358 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18334-18341 |
|
|
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