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 256-257
(domain someRoomsAttribute 1 RoomInventory) Hotel.kif 260-260 The number 1 argument of some rooms attribute is an instance of room inventory
(domain someRoomsAttribute 2 RelationalAttribute) Hotel.kif 261-261 The number 2 argument of some rooms attribute is an instance of relational attribute
(instance someRoomsAttribute BinaryPredicate) Hotel.kif 255-255 some rooms attribute is an instance of binary predicate

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


(format ChineseLanguage someRoomsAttribute "some rooms 在 %1 有 %2 ") domainEnglishFormat.kif 4554-4554
(format ChineseTraditionalLanguage someRoomsAttribute "some rooms 在 %1 有 %2 ") domainEnglishFormat.kif 4553-4553
(format EnglishLanguage someRoomsAttribute "some rooms in %1 have %2") domainEnglishFormat.kif 4552-4552
(termFormat EnglishLanguage someRoomsAttribute "some rooms attribute") Hotel.kif 258-258

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


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


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