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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - someRoomsAttribute
someRoomsAttribute

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


(documentation someRoomsAttribute EnglishLanguage "(someRoomsAttribute ?INV ?ATTR) means some rooms in RoomInventory ?INV have RelationalAttribute ?ATTR") Hotel.kif 251-252
(domain someRoomsAttribute 1 RoomInventory) Hotel.kif 255-255
(domain someRoomsAttribute 2 RelationalAttribute) Hotel.kif 256-256
(instance someRoomsAttribute BinaryPredicate) Hotel.kif 250-250

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


(format ChineseLanguage someRoomsAttribute "some rooms 在 %1 有 %2 ") domainEnglishFormat.kif 4563-4563
(format ChineseTraditionalLanguage someRoomsAttribute "some rooms 在 %1 有 %2 ") domainEnglishFormat.kif 4562-4562
(format EnglishLanguage someRoomsAttribute "some rooms in %1 have %2") domainEnglishFormat.kif 4561-4561
(termFormat EnglishLanguage someRoomsAttribute "some rooms attribute") Hotel.kif 253-253

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


(=>
    (someRoomsAttribute ?INV ?ATTR)
    (exists (?X)
        (and
            (member ?X ?INV)
            (attribute ?X ?ATTR))))
Hotel.kif 258-263


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