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

Formal Language: 



KB Term:  Term intersection
English Word: 

  someRoomsAttribute

 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
(domain someRoomsAttribute 2 RelationalAttribute) Hotel.kif 261-261
(instance someRoomsAttribute BinaryPredicate) Hotel.kif 255-255

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 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