Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - roomPolicy
roomPolicy

appearance as argument number 1
-------------------------


(documentation roomPolicy EnglishLanguage "(roomPolicy ?ROOM ?POLICY) means that Policy ?POLICY is applied to the HotelUnit ?ROOM") Hotel.kif 441-442
(domain roomPolicy 2 Policy) Hotel.kif 446-446 The number 2 argument of room policy is an instance of policy
(domainSubclass roomPolicy 1 HotelUnit) Hotel.kif 445-445 The number 1 argument of room policy is a subclass of hotel unit
(instance roomPolicy BinaryPredicate) Hotel.kif 440-440 room policy is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage roomPolicy "%2 是应用在 %1 的 policy ") domainEnglishFormat.kif 4446-4446
(format ChineseTraditionalLanguage roomPolicy "%2 是應用在 %1 的 policy ") domainEnglishFormat.kif 4445-4445
(format EnglishLanguage roomPolicy "%2 is a policy that applies to %1") domainEnglishFormat.kif 4444-4444
(termFormat EnglishLanguage roomPolicy "room policy") Hotel.kif 443-443

antecedent
-------------------------


(=>
    (roomPolicy ?ROOM ?POLICY)
    (forall (?R)
        (=>
            (instance ?R ?ROOM)
            (policyLocationCoverage ?POLICY ?R))))
Hotel.kif 448-453

consequent
-------------------------


(=>
    (allRoomsPolicy ?INV ?POLICY)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomPolicy ?X ?POLICY))))
Hotel.kif 233-238
(=>
    (someRoomsPolicy ?INV ?POLICY)
    (exists (?X)
        (and
            (memberType ?INV ?X)
            (roomPolicy ?X ?POLICY))))
Hotel.kif 248-253


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners