|
| (domain between 2 Object) | Merge.kif 4153-4153 | Le nombre 2 argument de between est une instance de objet |
| (domain between 3 Object) | Merge.kif 4154-4154 | Le nombre 3 argument de between est une instance de objet |
| (domain betweenOnPath 1 Object) | Merge.kif 4173-4173 | Le nombre 1 argument de betweenOnPath est une instance de objet |
| (domain betweenOnPath 2 Object) | Merge.kif 4174-4174 | Le nombre 2 argument de betweenOnPath est une instance de objet |
| (domain betweenOnPath 3 Object) | Merge.kif 4175-4175 | Le nombre 3 argument de betweenOnPath est une instance de objet |
| (domain betweenOnPath 4 Object) | Merge.kif 4176-4176 | Le nombre 4 argument de betweenOnPath est une instance de objet |
| (domain bidPrice 1 Object) | FinancialOntology.kif 1906-1906 | Le nombre 1 argument de bidPrice est une instance de objet |
| (domain birthplace 2 Object) | Mid-level-ontology.kif 24254-24254 | Le nombre 2 argument de birthplace est une instance de objet |
| (domain burialplace 2 Object) | Biography.kif 205-205 | Le nombre 2 argument de burialplace est une instance de objet |
| (domain capability 3 Object) | Merge.kif 3904-3904 | Le nombre 3 argument de capability est une instance de objet |
| (domain capabilityDuring 3 Object) | Dining.kif 919-919 | Le nombre 3 argument de capabilityDuring est une instance de objet |
| (domain capableAtLocation 3 Object) | Transportation.kif 2689-2689 | Le nombre 3 argument de capableAtLocation est une instance de objet |
| (domain cargo 2 Object) | Mid-level-ontology.kif 22870-22870 | Le nombre 2 argument de cargo est une instance de objet |
| (domain carries 2 Object) | Mid-level-ontology.kif 4369-4369 | Le nombre 2 argument de carries est une instance de objet |
| (domain changesLocation 2 Object) | Merge.kif 10993-10993 | Le nombre 2 argument de changesLocation est une instance de objet |
| (domain color 1 Object) | Mid-level-ontology.kif 19359-19359 | Le nombre 1 argument de color est une instance de objet |
| (domain conforms 1 Object) | Mid-level-ontology.kif 26929-26929 | Le nombre 1 argument de conforms est une instance de objet |
| (domain connected 1 Object) | Merge.kif 9503-9503 | Le nombre 1 argument de connected est une instance de objet |
| (domain connected 2 Object) | Merge.kif 9504-9504 | Le nombre 2 argument de connected est une instance de objet |
| (domain connectedDownstream 1 Object) | Geography.kif 5463-5463 | Le nombre 1 argument de connectedDownstream est une instance de objet |
| (domain connectedDownstream 2 Object) | Geography.kif 5464-5464 | Le nombre 2 argument de connectedDownstream est une instance de objet |
| (domain connects 1 Object) | Merge.kif 9529-9529 | Le nombre 1 argument de connects est une instance de objet |
| (domain connects 2 Object) | Merge.kif 9530-9530 | Le nombre 2 argument de connects est une instance de objet |
| (domain connects 3 Object) | Merge.kif 9531-9531 | Le nombre 3 argument de connects est une instance de objet |
| (domain contains 2 Object) | Merge.kif 1020-1020 | Le nombre 2 argument de contains est une instance de objet |
| 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