Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ConeSegment(cone segment) |
| appearance as argument number 1 |
|
| (instance ConeSegment ShapeAttribute) | Cars.kif 1340-1340 | Cone segment is an instance of shape attribute |
| (documentation ConeSegment EnglishLanguage "A ShapeAttribute that specifies a figure described by rotating a quadrilateral with two RightAngles around its right_angled axis.") | Cars.kif 1342-1343 | Cone segment is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ConeSegment "cone segment") | Cars.kif 1341-1341 |
| consequent |
|
|
| (=> (instance ?BV BevelGear) (attribute ?BV ConeSegment)) |
Cars.kif 1336-1338 | If X is an instance of bevel gear, then cone segment is an attribute of X |
| (=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G)))) |
Weather.kif 2960-2981 | If All of the following hold: (1) X is an instance of tornado (2) Y is an instance of rotating (3) Z is an instance of air (4) W is an instance of translocation (5) Y is a subprocess of X (6) W is a subprocess of Y (7) Z is a patient of W (8) entities in the process W are moving horizontal to, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of geographic area (3) X is located at V (4) U is a part of Z (5) cone segment is an attribute of U (6) the top of U is T (7) the bottom of U is S (8) R is an instance of cloud (9) the bottom of R is Q (10) T meets Q (11) S meets V |
|