s__documentation(s__capacityByArrangement__m,s__EnglishLanguage,'"(capacityByArrangement ?AREA ?PROP ?QTY) means that Integer ?QTY is the maximum capacity of Region ?AREA when Proposition ?PROP is followed."')

Hotel.kif 760762 

s__domain(s__capacityByArrangement__m,n__1,s__Region)

Hotel.kif 765765 
The number 1 argument of capacity by arrangement is an instance of region 
s__domain(s__capacityByArrangement__m,n__2,s__Proposition)

Hotel.kif 766766 
The number 2 argument of capacity by arrangement is an instance of proposition 
s__domain(s__capacityByArrangement__m,n__3,s__Integer)

Hotel.kif 767767 
The number 3 argument of capacity by arrangement is an instance of integer 
s__instance(s__TernaryPredicate,s__SetOrClass)
s__instance(s__capacityByArrangement__m,s__TernaryPredicate)

Hotel.kif 759759 
capacity by arrangement is an instance of ternary predicate 