Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Paved(paved) |  | caliche-topped, made-up, paved, sealed |
| appearance as argument number 1 |
|
|
| (instance Paved Attribute) | Mid-level-ontology.kif 16634-16634 | Paved is an instance of attribute |
| (contraryAttribute Paved Unpaved) | Mid-level-ontology.kif 16636-16636 | Paved is the opposite of unpaved |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?X Patio) (and (modalAttribute (attribute ?X Paved) Likely) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Adjacent) (located ?X Outdoors))))) |
Mid-level-ontology.kif 29233-29242 | If X is an instance of patio, then the statement paved is an attribute of X has the modal force of likely and there exists Y such that Y is an instance of building, X is adjacent to Y, and X is located at outdoors |
| (=> (instance ?aR SurfacedRoadway) (attribute ?aR Paved)) |
Transportation.kif 631-633 | If X is an instance of surfaced roadway, then paved is an attribute of X |
|