(instance AfternoonFn PartialValuedRelation) 
Merge.kif 87708770 
Afternoon of is an instance of partial valued relation 
(instance AttrFn PartialValuedRelation) 
Merge.kif 17341734 
Attr is an instance of partial valued relation 
(instance BackFn PartialValuedRelation) 
Merge.kif 890890 
Back is an instance of partial valued relation 
(instance DayFn PartialValuedRelation) 
Merge.kif 85248524 
Day is an instance of partial valued relation 
(instance DivisionFn PartialValuedRelation) 
Merge.kif 46764676 
Division is an instance of partial valued relation 
(instance EditionFn PartialValuedRelation) 
Merge.kif 1536015360 
Edition is an instance of partial valued relation 
(instance EveningFn PartialValuedRelation) 
Merge.kif 88708870 
Evening fn is an instance of partial valued relation 
(instance ExtensionFn PartialValuedRelation) 
Merge.kif 17191719 
Extension is an instance of partial valued relation 
(instance FrontFn PartialValuedRelation) 
Merge.kif 870870 
Front is an instance of partial valued relation 
(instance GovernmentFn PartialValuedRelation) 
Merge.kif 1656416564 
Government is an instance of partial valued relation 
(instance GreatestCommonDivisorFn PartialValuedRelation) 
Merge.kif 47814781 
Greatest common divisor is an instance of partial valued relation 
(instance HourFn PartialValuedRelation) 
Merge.kif 85498549 
Hour is an instance of partial valued relation 
(instance InitialNodeFn PartialValuedRelation) 
Merge.kif 58525852 
Initial node is an instance of partial valued relation 
(instance IntegerSquareRootFn PartialValuedRelation) 
Merge.kif 48574857 
Integer square root is an instance of partial valued relation 
(instance KappaFn PartialValuedRelation) 
Merge.kif 55125512 
Kappa is an instance of partial valued relation 
(instance LeastCommonMultipleFn PartialValuedRelation) 
Merge.kif 48654865 
Least common multiple is an instance of partial valued relation 
(instance ListOrderFn PartialValuedRelation) 
Merge.kif 29352935 
List order is an instance of partial valued relation 
(instance MinuteFn PartialValuedRelation) 
Merge.kif 85758575 
Minute is an instance of partial valued relation 
(instance MonthFn PartialValuedRelation) 
Merge.kif 85078507 
Month is an instance of partial valued relation 
(instance MorningFn PartialValuedRelation) 
Merge.kif 87548754 
Morning fn is an instance of partial valued relation 
(instance PeriodicalIssueFn PartialValuedRelation) 
Midlevelontology.kif 1450714507 
Periodical issue is an instance of partial valued relation 
(instance QuarterFn PartialValuedRelation) 
Merge.kif 89048904 
Quarter fn is an instance of partial valued relation 
(instance RecurrentTimeIntervalFn PartialValuedRelation) 
Merge.kif 83808380 
Recurrent time interval is an instance of partial valued relation 
(instance RemainderFn PartialValuedRelation) 
Merge.kif 50305030 
Remainder is an instance of partial valued relation 
(instance SecondFn PartialValuedRelation) 
Merge.kif 86028602 
Second is an instance of partial valued relation 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 