Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HighRise(high rise) |
| appearance as argument number 1 |
|
| (subclass HighRise Building) | Mid-level-ontology.kif 29101-29101 | High rise is a subclass of building |
| (documentation HighRise EnglishLanguage "HighRise refers to a type of Building that has greater than 10 BuildingLevel") | Mid-level-ontology.kif 29102-29103 | High rise is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HighRise "high rise") | Mid-level-ontology.kif 29104-29104 |
| antecedent |
|
|
| (=> (and (instance ?X HighRise) (memberType ?LEVELS BuildingLevel) (part ?FLR ?X) (member ?FLR ?LEVELS) (instance ?LEVELS CollectionOfObjects) (memberCount ?LEVELS ?NUM)) (greaterThanOrEqualTo ?NUM 10)) |
Mid-level-ontology.kif 29106-29114 | If All of the following hold: (1) X is an instance of high rise (2) building level is a member type of Y (3) Z is a part of X (4) Z is a member of Y (5) Y is an instance of collection (6) W is a member count of Y, then W is greater than or equal to 10 |
| consequent |
|
|
| (=> (attribute ?ROOM TowerRoom) (exists (?BLDG) (and (instance ?BLDG HighRise) (located ?ROOM ?BLDG)))) |
Hotel.kif 1109-1114 | If tower room is an attribute of X, then there exists Y such that Y is an instance of high rise and X is located at Y |
|