|
| (domain AttrFn 2 Attribute) | Merge.kif 1778-1778 | O argumento numero 2 de AttrFn e' uma instancia de Atributo |
| (domain AuctionGMBFn 1 Collection) | UXExperimentalTerms.kif 3193-3193 | O argumento numero 1 de AuctionGMBFn e' uma instancia de Colecao |
| (domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea) | Military.kif 865-865 | O argumento numero 1 de AvailableForMilitaryServiceMaleFn e' uma instancia de Area Geopolitica |
| (domain AverageFn 1 List) | Merge.kif 3271-3271 | O argumento numero 1 de AverageFn e' uma instancia de Lista |
| (domain BackFn 1 SelfConnectedObject) | Merge.kif 898-898 | O argumento numero 1 de BackFn e' uma instancia de Objeto auto-conectado |
| (domain BeginFn 1 TimeInterval) | Merge.kif 7982-7982 | O argumento numero 1 de BeginFn e' uma instancia de Intervalo Temporal |
| (domain BeginNodeFn 1 GraphPath) | Merge.kif 5942-5942 | O argumento numero 1 de BeginNodeFn e' uma instancia de Caminho do Grafo |
| (domain BeliefGroupMemberFn 1 BeliefGroup) | People.kif 673-673 | O argumento numero 1 de BeliefGroupMemberFn e' uma instancia de BeliefGroup |
| (domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 2912-2912 | O argumento numero 1 de BidCountFn e' uma instancia de Colecao |
| (domain BirthsPerThousandFn 1 GeopoliticalArea) | People.kif 69-69 | O argumento numero 1 de BirthsPerThousandFn e' uma instancia de Area Geopolitica |
| (domain BirthsPerThousandFn 2 Year) | People.kif 70-70 | O argumento numero 2 de BirthsPerThousandFn e' uma instancia de Ano |
| (domain BodySideFn 1 AntiSymmetricPositionalAttribute) | Merge.kif 14971-14971 | O argumento numero 1 de BodySideFn e' uma instancia de AntiSymmetricPositionalAttribute |
| (domain BorderFn 1 GeographicArea) | Geography.kif 688-688 | O argumento numero 1 de BorderFn e' uma instancia de Area Geografica |
| (domain BorderFn 2 GeographicArea) | Geography.kif 689-689 | O argumento numero 2 de BorderFn e' uma instancia de Area Geografica |
| (domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 2878-2878 | O argumento numero 1 de BoughtItemsFn e' uma instancia de Colecao |
| (domain CPUUtilizationFn 1 ComputerProgram) | QoSontology.kif 1319-1319 | O argumento numero 1 de CPUUtilizationFn e' uma instancia de Programa de Computador |
| (domain CabinetFn 1 GeopoliticalArea) | Government.kif 1527-1527 | O argumento numero 1 de CabinetFn e' uma instancia de Area Geopolitica |
| (domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5508-5508 | O argumento numero 1 de CardinalityFn e' uma instancia de a uniao de Conjunto ou Classe e Colecao |
| (domain CeilingFn 1 RealNumber) | Merge.kif 4783-4783 | O argumento numero 1 de CeilingFn e' uma instancia de Numero Real |
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 1168-1168 | O argumento numero 1 de CellPartFn e' uma instancia de Celula |
| (domain CenterOfCircleFn 1 Circle) | Merge.kif 7639-7639 | O argumento numero 1 de CenterOfCircleFn e' uma instancia de Circle |
| (domain ChildrenBornPerWomanFn 1 GeopoliticalArea) | People.kif 441-441 | O argumento numero 1 de ChildrenBornPerWomanFn e' uma instancia de Area Geopolitica |
| (domain ChildrenBornPerWomanFn 2 Year) | People.kif 442-442 | O argumento numero 2 de ChildrenBornPerWomanFn e' uma instancia de Ano |
| (domain CitizenryFn 1 GeopoliticalArea) | Mid-level-ontology.kif 8039-8039 | O argumento numero 1 de CitizenryFn e' uma instancia de Area Geopolitica |
| (domain ClickThroughRateFn 1 Collection) | UXExperimentalTerms.kif 3327-3327 | O argumento numero 1 de ClickThroughRateFn e' uma instancia de Colecao |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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