|
| (domain beforeOnPath 2 Object) | Mid-level-ontology.kif 29758-29758 | The number 2 argument of before on path is an instance of object |
| (domain beforeOnPath 3 Object) | Mid-level-ontology.kif 29759-29759 | The number 3 argument of before on path is an instance of object |
| (domain between 1 Object) | Merge.kif 4152-4152 | The number 1 argument of between is an instance of object |
| (domain between 2 Object) | Merge.kif 4153-4153 | The number 2 argument of between is an instance of object |
| (domain between 3 Object) | Merge.kif 4154-4154 | The number 3 argument of between is an instance of object |
| (domain betweenOnPath 1 Object) | Merge.kif 4173-4173 | The number 1 argument of between on path is an instance of object |
| (domain betweenOnPath 2 Object) | Merge.kif 4174-4174 | The number 2 argument of between on path is an instance of object |
| (domain betweenOnPath 3 Object) | Merge.kif 4175-4175 | The number 3 argument of between on path is an instance of object |
| (domain betweenOnPath 4 Object) | Merge.kif 4176-4176 | The number 4 argument of between on path is an instance of object |
| (domain bidPrice 1 Object) | FinancialOntology.kif 1906-1906 | The number 1 argument of bid price is an instance of object |
| (domain birthplace 2 Object) | Mid-level-ontology.kif 24253-24253 | The number 2 argument of birthplace is an instance of object |
| (domain burialplace 2 Object) | Biography.kif 205-205 | The number 2 argument of burialplace is an instance of object |
| (domain capability 3 Object) | Merge.kif 3904-3904 | The number 3 argument of capability is an instance of object |
| (domain capabilityDuring 3 Object) | Dining.kif 919-919 | The number 3 argument of capable during is an instance of object |
| (domain capableAtLocation 3 Object) | Transportation.kif 2689-2689 | The number 3 argument of capable at location is an instance of object |
| (domain cargo 2 Object) | Mid-level-ontology.kif 22869-22869 | The number 2 argument of cargo is an instance of object |
| (domain carries 2 Object) | Mid-level-ontology.kif 4369-4369 | The number 2 argument of carries is an instance of object |
| (domain changesLocation 2 Object) | Merge.kif 11015-11015 | The number 2 argument of changes location is an instance of object |
| (domain circumfrence 1 Object) | Mid-level-ontology.kif 31125-31125 | The number 1 argument of circumfrence is an instance of object |
| (domain color 1 Object) | Mid-level-ontology.kif 19358-19358 | The number 1 argument of color is an instance of object |
| (domain conforms 1 Object) | Mid-level-ontology.kif 26917-26917 | The number 1 argument of conforms is an instance of object |
| (domain connected 1 Object) | Merge.kif 9525-9525 | The number 1 argument of connected is an instance of object |
| (domain connected 2 Object) | Merge.kif 9526-9526 | The number 2 argument of connected is an instance of object |
| (domain connectedDownstream 1 Object) | Geography.kif 5463-5463 | The number 1 argument of connected downstream is an instance of object |
| (domain connectedDownstream 2 Object) | Geography.kif 5464-5464 | The number 2 argument of connected downstream is an instance of object |
| 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