| appearance as argument number 1 |
|
| (documentation DownAndInRoom EnglishLanguage "DownAndInRoom describes a HotelUnit that has its entrance and exit inside the HotelBuilding") | Hotel.kif 1031-1032 | |
| (instance DownAndInRoom HotelRoomAttribute) | Hotel.kif 1030-1030 | DownAndInRoom 是 HotelRoomAttribute 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DownAndInRoom "down and in room") | Hotel.kif 1033-1033 |
| antecedent |
|
|
| (=> (attribute ?X DownAndInRoom) (exists (?LOC ?INDOOR) (and (instance ?INDOOR Indoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?INDOOR)))) |
Hotel.kif 1035-1043 |
|
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