(domain AfternoonFn 1 Day) 
Merge.kif 83188318 
The number 1 argument of AfternoonFn is an instance of day 
(domain EveningFn 1 Day) 
Merge.kif 84158415 
The number 1 argument of EveningFn is an instance of day 
(domain MorningFn 1 Day) 
Merge.kif 83058305 
The number 1 argument of MorningFn is an instance of day 
(domain availableBalance 2 Day) 
FinancialOntology.kif 36973697 
The number 2 argument of available balance is an instance of day 
(domain availableCash 2 Day) 
FinancialOntology.kif 37203720 
The number 2 argument of available cash is an instance of day 
(domain baptismdate 2 Day) 
Biography.kif 6565 
The number 2 argument of baptismdate is an instance of day 
(domain birthdate 2 Day) 
Midlevelontology.kif 2051120511 
The number 2 argument of birthdate is an instance of day 
(domain birthday 2 Day) 
Midlevelontology.kif 2048820488 
The number 2 argument of birthday is an instance of day 
(domain buyingPowerAmount 2 Day) 
FinancialOntology.kif 39833983 
The number 2 argument of buying power amount is an instance of day 
(domain callDate 2 Day) 
FinancialOntology.kif 24262426 
The number 2 argument of call date is an instance of day 
(domain closingPrice 3 Day) 
FinancialOntology.kif 34113411 
The number 3 argument of closing price is an instance of day 
(domain currentAccountBalance 2 Day) 
FinancialOntology.kif 633633 
The number 2 argument of current account balance is an instance of day 
(domain currentInterestRate 2 Day) 
FinancialOntology.kif 575575 
The number 2 argument of current interest rate is an instance of day 
(domain date 2 Day) 
Merge.kif 80348034 
The number 2 argument of date is an instance of day 
(domain dateOfStatement 2 Day) 
FinancialOntology.kif 39183918 
The number 2 argument of date of statement is an instance of day 
(domain deathdate 2 Day) 
Midlevelontology.kif 2052420524 
The number 2 argument of deathdate is an instance of day 
(domain marginBalanceAmount 2 Day) 
FinancialOntology.kif 39923992 
The number 2 argument of margin balance amount is an instance of day 
(domain marketValueAmount 2 Day) 
FinancialOntology.kif 40104010 
The number 2 argument of market value amount is an instance of day 
(domain maturityDate 2 Day) 
FinancialOntology.kif 592592 
The number 2 argument of maturity date is an instance of day 
(domain netWorth 3 Day) 
FinancialOntology.kif 822822 
The number 3 argument of net worth is an instance of day 
(domain overdraft 3 Day) 
FinancialOntology.kif 739739 
The number 3 argument of overdraft is an instance of day 
(domain primeInterestRate 1 Day) 
FinancialOntology.kif 560560 
The number 1 argument of prime interest rate is an instance of day 
(domain shortBalanceAmount 2 Day) 
FinancialOntology.kif 40014001 
The number 2 argument of short balance amount is an instance of day 
(domain weddingdate 3 Day) 
Biography.kif 4949 
The number 3 argument of weddingdate is an instance of day 
(domainSubclass HourFn 2 Day) 
Merge.kif 81038103 
The number 2 argument of hour is a subclass of day 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 