(domain ContestFn 2 TimePoint) |
Music.kif 1041-1041 |
domain ContestFn, 2 and TimePoint |
(domain SellersOtherItemsFn 4 TimePoint) |
UXExperimentalTerms.kif 1219-1219 |
domain SellersOtherItemsFn, 4 and TimePoint |
(domain TimeIntervalFn 1 TimePoint) |
Merge.kif 8319-8319 |
domain TimeIntervalFn, 1 and TimePoint |
(domain TimeIntervalFn 2 TimePoint) |
Merge.kif 8320-8320 |
domain TimeIntervalFn, 2 and TimePoint |
(domain TimePeriodFn 1 TimePoint) |
Mid-level-ontology.kif 13506-13506 |
domain TimePeriodFn, 1 and TimePoint |
(domain WhereFn 2 TimePoint) |
Merge.kif 4139-4139 |
domain WhereFn, 2 and TimePoint |
(domain agreementEffectiveDate 2 TimePoint) |
Mid-level-ontology.kif 13495-13495 |
domain agreementEffectiveDate, 2 and TimePoint |
(domain agreementExpirationDate 2 TimePoint) |
Mid-level-ontology.kif 13520-13520 |
domain agreementExpirationDate, 2 and TimePoint |
(domain albumRelease 2 TimePoint) |
Music.kif 257-257 |
domain albumRelease, 2 and TimePoint |
(domain before 1 TimePoint) |
Merge.kif 8011-8011 |
domain before, 1 and TimePoint |
(domain before 2 TimePoint) |
Merge.kif 8012-8012 |
domain before, 2 and TimePoint |
(domain beforeOrEqual 1 TimePoint) |
Merge.kif 8049-8049 |
domain beforeOrEqual, 1 and TimePoint |
(domain beforeOrEqual 2 TimePoint) |
Merge.kif 8050-8050 |
domain beforeOrEqual, 2 and TimePoint |
(domain checkOutTime 2 TimePoint) |
Hotel.kif 661-661 |
domain checkOutTime, 2 and TimePoint |
(domain dateUsed 2 TimePoint) |
Mid-level-ontology.kif 955-955 |
domain dateUsed, 2 and TimePoint |
(domain firstInstanceCreated 2 TimePoint) |
Mid-level-ontology.kif 30091-30091 |
domain firstInstanceCreated, 2 and TimePoint |
(domain producedOn 2 TimePoint) |
Music.kif 94-94 |
domain producedOn, 2 and TimePoint |
(domain releaseForConsumption 3 TimePoint) |
Music.kif 1473-1473 |
domain releaseForConsumption, 3 and TimePoint |
(domain reservationEnd 1 TimePoint) |
Dining.kif 662-662 |
domain reservationEnd, 1 and TimePoint |
(domain reservationStart 1 TimePoint) |
Dining.kif 655-655 |
domain reservationStart, 1 and TimePoint |
(domain temporallyBetween 1 TimePoint) |
Merge.kif 8071-8071 |
domain temporallyBetween, 1 and TimePoint |
(domain temporallyBetween 2 TimePoint) |
Merge.kif 8072-8072 |
domain temporallyBetween, 2 and TimePoint |
(domain temporallyBetween 3 TimePoint) |
Merge.kif 8073-8073 |
domain temporallyBetween, 3 and TimePoint |
(domain temporallyBetweenOrEqual 1 TimePoint) |
Merge.kif 8095-8095 |
domain temporallyBetweenOrEqual, 1 and TimePoint |
(domain temporallyBetweenOrEqual 2 TimePoint) |
Merge.kif 8096-8096 |
domain temporallyBetweenOrEqual, 2 and TimePoint |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |