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

Formal Language: 



KB Term:  Term intersection
English Word: 

  roomPolicy

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 roomPolicy の数値 2 引数は Policyinstance では %n
(domainSubclass roomPolicy 1 HotelUnit) Hotel.kif 445-445 roomPolicy の数値 1 引数は HotelUnitsubclass では %n
(instance roomPolicy BinaryPredicate) Hotel.kif 440-440 roomPolicy2進述語instance では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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