s__domain(s__AfternoonFn__m,n__1,s__Day)

Merge.kif 84398439 
The number 1 argument of AfternoonFn is an instance of day 
s__domain(s__EveningFn__m,n__1,s__Day)

Merge.kif 85368536 
The number 1 argument of EveningFn is an instance of day 
s__domain(s__MorningFn__m,n__1,s__Day)

Merge.kif 84268426 
The number 1 argument of MorningFn is an instance of day 
s__domain(s__availableBalance__m,n__2,s__Day)

FinancialOntology.kif 37183718 
The number 2 argument of available balance is an instance of day 
s__domain(s__availableCash__m,n__2,s__Day)

FinancialOntology.kif 37413741 
The number 2 argument of available cash is an instance of day 
s__domain(s__baptismdate__m,n__2,s__Day)

Biography.kif 6565 
The number 2 argument of baptismdate is an instance of day 
s__domain(s__birthdate__m,n__2,s__Day)

Midlevelontology.kif 2294422944 
The number 2 argument of birthdate is an instance of day 
s__domain(s__birthday__m,n__2,s__Day)

Midlevelontology.kif 2292122921 
The number 2 argument of birthday is an instance of day 
s__domain(s__buyingPowerAmount__m,n__2,s__Day)

FinancialOntology.kif 40044004 
The number 2 argument of buying power amount is an instance of day 
s__domain(s__callDate__m,n__2,s__Day)

FinancialOntology.kif 24472447 
The number 2 argument of call date is an instance of day 
s__domain(s__closingPrice__m,n__3,s__Day)

FinancialOntology.kif 34323432 
The number 3 argument of closing price is an instance of day 
s__domain(s__currentAccountBalance__m,n__2,s__Day)

FinancialOntology.kif 633633 
The number 2 argument of current account balance is an instance of day 
s__domain(s__currentInterestRate__m,n__2,s__Day)

FinancialOntology.kif 575575 
The number 2 argument of current interest rate is an instance of day 
s__domain(s__date__m,n__2,s__Day)

Merge.kif 81558155 
The number 2 argument of date is an instance of day 
s__domain(s__dateOfStatement__m,n__2,s__Day)

FinancialOntology.kif 39393939 
The number 2 argument of date of statement is an instance of day 
s__domain(s__deathdate__m,n__2,s__Day)

Midlevelontology.kif 2295722957 
The number 2 argument of deathdate is an instance of day 
s__domain(s__marginBalanceAmount__m,n__2,s__Day)

FinancialOntology.kif 40134013 
The number 2 argument of margin balance amount is an instance of day 
s__domain(s__marketValueAmount__m,n__2,s__Day)

FinancialOntology.kif 40314031 
The number 2 argument of market value amount is an instance of day 
s__domain(s__maturityDate__m,n__2,s__Day)

FinancialOntology.kif 592592 
The number 2 argument of maturity date is an instance of day 
s__domain(s__netWorth__m,n__3,s__Day)

FinancialOntology.kif 822822 
The number 3 argument of net worth is an instance of day 
s__domain(s__overdraft__m,n__3,s__Day)

FinancialOntology.kif 739739 
The number 3 argument of overdraft is an instance of day 
s__domain(s__primeInterestRate__m,n__1,s__Day)

FinancialOntology.kif 560560 
The number 1 argument of prime interest rate is an instance of day 
s__domain(s__shortBalanceAmount__m,n__2,s__Day)

FinancialOntology.kif 40224022 
The number 2 argument of short balance amount is an instance of day 
s__domain(s__weddingdate__m,n__3,s__Day)

Biography.kif 4949 
The number 3 argument of weddingdate is an instance of day 
s__domainSubclass(s__HourFn__m,n__2,s__Day)

Merge.kif 82248224 
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 