ExclusiveFemaleLevel - Sigma Knowledge base Browser

appearance as argument number 1

s__instance(s__ExclusiveFemaleLevel,s__HotelLevelAttribute)	Hotel.kif 1246-1246	Female level is an instance of hotel level attribute
s__documentation(s__ExclusiveFemaleLevel, s__EnglishLanguage, "ExclusiveFemaleLevel refers to a BuildingLevel in a HotelBuilding that hasPurpose to house Female guest")	Hotel.kif 1247-1248	Female level is an instance of hotel level attribute

appearance as argument number 2

antecedent

! [V__X : $i] : ((s__attribute(V__X, s__ExclusiveFemaleLevel) => ( ! [V__Y:$i] : (((s__instance(V__Y, s__HotelRoom) & s__located(V__Y, V__X)) => s__hasPurpose(V__Y, ( ? [V__HUMAN:$i] : ((s__attribute(V__HUMAN, s__Female) & s__stays(V__HUMAN, V__Y))))))))))

If female level is an attribute of X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that female is an attribute of Z and Z stays at Y