(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 8313-8313 |
domain TimeIntervalFn, 1 and TimePoint |
(domain TimeIntervalFn 2 TimePoint) |
Merge.kif 8314-8314 |
domain TimeIntervalFn, 2 and TimePoint |
(domain TimePeriodFn 1 TimePoint) |
Mid-level-ontology.kif 13502-13502 |
domain TimePeriodFn, 1 and TimePoint |
(domain WhereFn 2 TimePoint) |
Merge.kif 4133-4133 |
domain WhereFn, 2 and TimePoint |
(domain agreementEffectiveDate 2 TimePoint) |
Mid-level-ontology.kif 13491-13491 |
domain agreementEffectiveDate, 2 and TimePoint |
(domain agreementExpirationDate 2 TimePoint) |
Mid-level-ontology.kif 13516-13516 |
domain agreementExpirationDate, 2 and TimePoint |
(domain albumRelease 2 TimePoint) |
Music.kif 257-257 |
domain albumRelease, 2 and TimePoint |
(domain before 1 TimePoint) |
Merge.kif 8005-8005 |
domain before, 1 and TimePoint |
(domain before 2 TimePoint) |
Merge.kif 8006-8006 |
domain before, 2 and TimePoint |
(domain beforeOrEqual 1 TimePoint) |
Merge.kif 8043-8043 |
domain beforeOrEqual, 1 and TimePoint |
(domain beforeOrEqual 2 TimePoint) |
Merge.kif 8044-8044 |
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 951-951 |
domain dateUsed, 2 and TimePoint |
(domain firstInstanceCreated 2 TimePoint) |
Mid-level-ontology.kif 30067-30067 |
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 8065-8065 |
domain temporallyBetween, 1 and TimePoint |
(domain temporallyBetween 2 TimePoint) |
Merge.kif 8066-8066 |
domain temporallyBetween, 2 and TimePoint |
(domain temporallyBetween 3 TimePoint) |
Merge.kif 8067-8067 |
domain temporallyBetween, 3 and TimePoint |
(domain temporallyBetweenOrEqual 1 TimePoint) |
Merge.kif 8089-8089 |
domain temporallyBetweenOrEqual, 1 and TimePoint |
(domain temporallyBetweenOrEqual 2 TimePoint) |
Merge.kif 8090-8090 |
domain temporallyBetweenOrEqual, 2 and TimePoint |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |