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 417-418
(domain roomPolicy 2 Policy) Hotel.kif 422-422
(domainSubclass roomPolicy 1 HotelUnit) Hotel.kif 421-421
(instance roomPolicy BinaryPredicate) Hotel.kif 416-416

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


(format ChineseLanguage roomPolicy "%2 是应用在 %1 的 policy ") domainEnglishFormat.kif 4455-4455
(format ChineseTraditionalLanguage roomPolicy "%2 是應用在 %1 的 policy ") domainEnglishFormat.kif 4454-4454
(format EnglishLanguage roomPolicy "%2 is a policy that applies to %1") domainEnglishFormat.kif 4453-4453
(termFormat EnglishLanguage roomPolicy "room policy") Hotel.kif 419-419

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


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

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


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


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