Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  cardinality
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Bottle FluidContainer) | Mid-level-ontology.kif 5287-5287 | Bottle is a subclass of fluid container |
| (documentation Bottle EnglishLanguage "A Container whose top is narrower than its bottom, which has no handle, and which is intended to store Liquids.") | Mid-level-ontology.kif 5288-5289 | Bottle is a subclass of fluid container |
| (externalImage Bottle "http://upload.wikimedia.org/wikipedia/commons/d/dc/ Bottle.agr.jpg") | pictureList.kif 48-48 | Bottle is a subclass of fluid container |
| (externalImage Bottle "http://articulatesoftware.com/SUMOpictures/people/ baby/ bottle.png") | pictureList.kif 284-284 | Bottle is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BOTTLE Bottle) (hasPurpose ?BOTTLE (exists (?STUFF) (and (contains ?BOTTLE ?STUFF) (attribute ?STUFF Liquid))))) |
Mid-level-ontology.kif 5291-5297 | If X is an instance of bottle, then X has the purpose there exists Y such that X contains Y and liquid is an attribute of Y |
| (=> (and (instance ?BOTTLE Bottle) (bottom ?BOTTOM ?BOTTLE) (top ?TOP ?BOTTLE) (instance ?U UnitOfLength) (width ?BOTTOM (MeasureFn ?WIDTH1 ?U)) (width ?TOP (MeasureFn ?WIDTH2 ?U))) (lessThan ?WIDTH2 ?WIDTH1)) |
Mid-level-ontology.kif 5299-5309 | If All of the following hold: (1) X is an instance of bottle (2) the bottom of X is Y (3) the top of X is Z (4) W is an instance of unit of length (5) the width of Y is V W(s) (6) the width of Z is U W(s), then U is less than V |
|
