(domain AfternoonFn 1 Day) 
Merge.kif 88708870 
The number 1 argument of afternoon of is an instance of day 
(domain EveningFn 1 Day) 
Merge.kif 89708970 
The number 1 argument of Evening fn is an instance of day 
(domain MorningFn 1 Day) 
Merge.kif 88548854 
The number 1 argument of morning fn is an instance of day 
(domain availableBalance 2 Day) 
FinancialOntology.kif 38083808 
The number 2 argument of available balance is an instance of day 
(domain availableCash 2 Day) 
FinancialOntology.kif 38313831 
The number 2 argument of available cash is an instance of day 
(domain baptizeddate 2 Day) 
Biography.kif 175175 
The number 2 argument of baptizedmdate is an instance of day 
(domain birthdate 2 Day) 
Midlevelontology.kif 2432524325 
The number 2 argument of birthdate is an instance of day 
(domain buyingPowerAmount 2 Day) 
FinancialOntology.kif 40924092 
The number 2 argument of buying power amount is an instance of day 
(domain callDate 2 Day) 
FinancialOntology.kif 24852485 
The number 2 argument of call date is an instance of day 
(domain closingPrice 3 Day) 
FinancialOntology.kif 34723472 
The number 3 argument of closing price is an instance of day 
(domain currentAccountBalance 2 Day) 
FinancialOntology.kif 673673 
The number 2 argument of current account balance is an instance of day 
(domain currentInterestRate 2 Day) 
FinancialOntology.kif 615615 
The number 2 argument of current interest rate is an instance of day 
(domain date 2 Day) 
Merge.kif 85818581 
The number 2 argument of date is an instance of day 
(domain dateOfStatement 2 Day) 
FinancialOntology.kif 40274027 
The number 2 argument of date of statement is an instance of day 
(domain deathdate 2 Day) 
Midlevelontology.kif 2433824338 
The number 2 argument of deathdate is an instance of day 
(domain marginBalanceAmount 2 Day) 
FinancialOntology.kif 41014101 
The number 2 argument of margin balance amount is an instance of day 
(domain marketValueAmount 2 Day) 
FinancialOntology.kif 41194119 
The number 2 argument of market value amount is an instance of day 
(domain maturityDate 2 Day) 
FinancialOntology.kif 632632 
The number 2 argument of maturity date is an instance of day 
(domain netWorth 3 Day) 
FinancialOntology.kif 868868 
The number 3 argument of net worth is an instance of day 
(domain overdraft 3 Day) 
FinancialOntology.kif 780780 
The number 3 argument of overdraft is an instance of day 
(domain primeInterestRate 1 Day) 
FinancialOntology.kif 600600 
The number 1 argument of prime interest rate is an instance of day 
(domain shortBalanceAmount 2 Day) 
FinancialOntology.kif 41104110 
The number 2 argument of short balance amount is an instance of day 
(domain weddingdate 3 Day) 
Midlevelontology.kif 2427024270 
The number 3 argument of weddingdate is an instance of day 
(domainSubclass HourFn 2 Day) 
Merge.kif 86508650 
The number 2 argument of hour is a subclass of day 
(domainSubclass anniversary 2 Day) 
Midlevelontology.kif 2423924239 
The number 2 argument of anniversary is a subclass of day 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 