Integer(Numero Inteiro) |
(domain splitFor 3 Integer) | FinancialOntology.kif 2227-2227 | O argumento numero 3 de splitFor e' uma instancia de Numero Inteiro |
(domain visualAcuity 2 Integer) | Medicine.kif 1706-1706 | O argumento numero 2 de visualAcuity e' uma instancia de Numero Inteiro |
(domain visualAcuity 3 Integer) | Medicine.kif 1707-1707 | O argumento numero 3 de visualAcuity e' uma instancia de Numero Inteiro |
(domain yearOfFounding 2 Integer) | Mid-level-ontology.kif 958-958 | O argumento numero 2 de yearOfFounding e' uma instancia de Numero Inteiro |