|
| (domain splitFor 3 Integer) | FinancialOntology.kif 2227-2227 | splitFor の数値 3 引数は 整数 の instance では %n |
| (domain visualAcuity 2 Integer) | Medicine.kif 1706-1706 | visualAcuity の数値 2 引数は 整数 の instance では %n |
| (domain visualAcuity 3 Integer) | Medicine.kif 1707-1707 | visualAcuity の数値 3 引数は 整数 の instance では %n |
| (domain yearOfFounding 2 Integer) | Mid-level-ontology.kif 958-958 | yearOfFounding の数値 2 引数は 整数 の instance では %n |
|
|
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