|
| (domain temporalPart 2 TimePosition) | Merge.kif 7933-7933 | |
| (domain time 2 TimePosition) | Merge.kif 3867-3867 | |
| (domain visibilityInMeteorology 2 TimePosition) | Weather.kif 2703-2703 | |
| (domainSubclass agreementAdoptionDate 2 TimePosition) | Government.kif 699-699 | |
| (domainSubclass agreementEffectiveDuring 2 TimePosition) | Government.kif 759-759 | |
| (domainSubclass agreementRevisionDate 2 TimePosition) | Government.kif 730-730 | |
| (domainSubclass dateDissolved 2 TimePosition) | Government.kif 2556-2556 | |
| (domainSubclass dateEstablished 2 TimePosition) | Mid-level-ontology.kif 979-979 | |
| (domainSubclass dateOpenedForSignature 2 TimePosition) | Geography.kif 3071-3071 | |
| (domainSubclass electionDatePlannedForPosition 2 TimePosition) | Government.kif 1737-1737 |
|
|
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