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

Formal Language: 



KB Term:  Term intersection
English Word: 

  someRoomsServiceAmenity

 Sigma KEE - someRoomsServiceAmenity
someRoomsServiceAmenity

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


(documentation someRoomsServiceAmenity EnglishLanguage "(someRoomsServiceAmenity ?INV ?SVC) means that there are rooms in RoomInventory ?INV that have roomAmenity ?SVC") Hotel.kif 195-197
(domain someRoomsServiceAmenity 1 RoomInventory) Hotel.kif 200-200 Il numero 1 argomenti di someRoomsServiceAmenity è un istanza di RoomInventory
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 201-201 Il numero 2 argomento someRoomsServiceAmenity è una sottoclasse diServiceProcess
(instance someRoomsServiceAmenity BinaryPredicate) Hotel.kif 194-194 someRoomsServiceAmenity è un' istanza di PredicatoBinario

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


(format ChineseLanguage someRoomsServiceAmenity "some rooms 在 %1 有 %2 ") domainEnglishFormat.kif 4566-4566
(format ChineseTraditionalLanguage someRoomsServiceAmenity "some rooms 在 %1 有 %2 ") domainEnglishFormat.kif 4565-4565
(format EnglishLanguage someRoomsServiceAmenity "some rooms in %1 have %2") domainEnglishFormat.kif 4564-4564
(termFormat EnglishLanguage someRoomsServiceAmenity "service amenity in some rooms") Hotel.kif 198-198

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