s__domain(s__AfternoonFn__m,n__1,s__Day)

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

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

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

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

FinancialOntology.kif 36753675 
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 2198621986 
The number 2 argument of birthdate is an instance of day 
s__domain(s__birthday__m,n__2,s__Day)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FinancialOntology.kif 39533953 
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 80418041 
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 