more pictures...
| appearance as argument number 1 |
|
|
| s__documentation(s__Day,s__ChineseLanguage,'这是所有日历日的 Class。') | Merge.kif 9203-9203 | |
| s__documentation(s__Day,s__EnglishLanguage,'The Class of all calendar Days.') | Merge.kif 9202-9202 | |
| s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG')
|
pictureList.kif 5949-5949 | |
| s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg')
|
pictureList.kif 6344-6344 | |
| s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg')
|
pictureList.kif 6345-6345 | |
| s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg')
|
pictureList.kif 6346-6346 | |
| s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg')
|
pictureList.kif 6347-6347 | |
| s__relatedInternalConcept(s__Day,s__DayDuration)
|
Merge.kif 9201-9201 | |
| s__relatedInternalConcept(s__Day,s__DayFn__m)
|
Merge.kif 9200-9200 | |
| s__instance(s__Day,s__SetOrClass)
|
Merge.kif 9199-9199 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__availableBalance__m,2,s__Day)
|
FinancialOntology.kif 3648-3648 | |
| s__domain(s__availableCash__m,2,s__Day)
|
FinancialOntology.kif 3668-3668 | |
| s__domain(s__baptismdate__m,2,s__Day)
|
Biography.kif 65-65 | |
| s__domain(s__birthdate__m,2,s__Day)
|
Mid-level-ontology.kif 21942-21942 | |
| s__domain(s__birthday__m,2,s__Day)
|
Mid-level-ontology.kif 21919-21919 | |
| s__domain(s__buyingPowerAmount__m,2,s__Day)
|
FinancialOntology.kif 3929-3929 | |
| s__domain(s__callDate__m,2,s__Day)
|
FinancialOntology.kif 2408-2408 | |
| s__domain(s__closingPrice__m,3,s__Day)
|
FinancialOntology.kif 3362-3362 | |
| s__domain(s__currentAccountBalance__m,2,s__Day)
|
FinancialOntology.kif 633-633 | |
| s__domain(s__currentInterestRate__m,2,s__Day)
|
FinancialOntology.kif 575-575 | |
| s__domain(s__date__m,2,s__Day)
|
Merge.kif 8638-8638 | |
| s__domain(s__dateOfStatement__m,2,s__Day)
|
FinancialOntology.kif 3863-3863 | |
| s__domain(s__deathdate__m,2,s__Day)
|
Mid-level-ontology.kif 21954-21954 | |
| s__domain(s__foundingdate__m,2,s__Day)
|
Society.kif 210-210 | |
| s__domain(s__marginBalanceAmount__m,2,s__Day)
|
FinancialOntology.kif 3938-3938 | |
| s__domain(s__marketValueAmount__m,2,s__Day)
|
FinancialOntology.kif 3956-3956 | |
| s__domain(s__maturityDate__m,2,s__Day)
|
FinancialOntology.kif 592-592 | |
| s__domain(s__netWorth__m,3,s__Day)
|
FinancialOntology.kif 813-813 | |
| s__domain(s__overdraft__m,3,s__Day)
|
FinancialOntology.kif 730-730 | |
| s__domain(s__primeInterestRate__m,1,s__Day)
|
FinancialOntology.kif 560-560 | |
| s__domain(s__shortBalanceAmount__m,2,s__Day)
|
FinancialOntology.kif 3947-3947 | |
| s__domain(s__weddingdate__m,3,s__Day)
|
Biography.kif 49-49 | |
| s__domainSubclass(s__AfternoonFn__m,1,s__Day)
|
Merge.kif 8906-8906 | |
| s__domainSubclass(s__EveningFn__m,1,s__Day)
|
Merge.kif 8948-8948 | |
| s__domainSubclass(s__HourFn__m,2,s__Day)
|
Merge.kif 8720-8720 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 57-75 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3591 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3600-3608 | |
| ( ! [V__EVE,V__AFT,V__D] : ((s__instance(V__EVE,s__Evening) & s__instance(V__AFT,s__Afternoon) & s__instance(V__D,s__Day) & s__during(V__EVE,V__D) & s__during(V__AFT,V__D)) => s__meetsTemporally(V__AFT,V__EVE)) )
|
Merge.kif 8936-8943 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4631-4644 | |
| ( ! [V__PLACE,V__TIME1,V__AMOUNT1,V__TIME2,V__AMOUNT2,V__DAY] : ((s__lowTide(V__PLACE,V__TIME1,V__AMOUNT1) & s__highTide(V__PLACE,V__TIME2,V__AMOUNT2) & s__instance(V__DAY,s__Day) & s__overlapsTemporally(V__TIME1,V__DAY) & s__overlapsTemporally(V__TIME2,V__DAY)) => s__greaterThan(V__AMOUNT1,V__AMOUNT2)) )
|
Geography.kif 4695-4702 | |
| ( ! [V__DAY] : (s__instance(V__DAY,s__Day) => s__duration(V__DAY,s__MeasureFn(1,s__DayDuration))) )
|
Merge.kif 9205-9207 | |
| ( ! [V__DAY] : (s__instance(V__DAY,s__Day) => (s__CardinalityFn(s__TemporalCompositionFn(V__DAY,s__Hour)) = 24)) )
|
Merge.kif 9447-9449 |
| consequent |
|
|
| ( ! [V__FY,V__PLACE,V__YEAR,V__PERIOD] : (((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR)) & s__fiscalYearPeriod(V__PLACE,V__PERIOD) & s__instance(V__FY,V__PERIOD)) => (? [V__DAY] : (s__instance(V__DAY,s__Day) & s__starts(V__DAY,V__FY) & s__temporalPart(V__DAY,V__YEAR)))) )
|
Economy.kif 3755-3764 | |
| ( ! [V__MONTH,V__NUMBER] : ((s__instance(V__MONTH,s__Month) & s__duration(V__MONTH,s__MeasureFn(V__NUMBER,s__DayDuration))) => (s__CardinalityFn(s__TemporalCompositionFn(V__MONTH,s__Day)) = V__NUMBER)) )
|
Merge.kif 9437-9441 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2595-2615 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3456-3465 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3416-3425 | |
| ( ! [V__M] : (s__instance(V__M,s__Midnight) => (? [V__D] : (s__instance(V__D,s__Day) & (V__M = s__EndFn(V__D))))) )
|
Merge.kif 8884-8889 | |
| ( ! [V__WEEK] : (s__instance(V__WEEK,s__Week) => (s__CardinalityFn(s__TemporalCompositionFn(V__WEEK,s__Day)) = 7)) )
|
Merge.kif 9443-9445 | |
| ( ! [V__X] : (s__instance(V__X,s__Iftar) => (? [V__R,V__S,V__D] : (s__instance(V__S,s__Sunset) & s__instance(V__R,s__Ramadan) & s__instance(V__D,s__Day) & s__during(V__D,V__R) & s__during(s__WhenFn(V__X) ,V__D) & s__during(V__S,V__D) & s__before(V__S,s__WhenFn(V__X))))) )
|
ArabicCulture.kif 82-92 | |
| ( ! [V__X] : (s__instance(V__X,s__Suhur) => (? [V__R,V__S,V__D] : (s__instance(V__S,s__Sunrise) & s__instance(V__R,s__Ramadan) & s__instance(V__D,s__Day) & s__during(V__D,V__R) & s__during(s__WhenFn(V__X) ,V__D) & s__during(V__S,V__D) & s__before(s__WhenFn(V__X) ,V__S)))) )
|
ArabicCulture.kif 36-46 |
|
|
|