Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CheckOutService
|
|
|
| appearance as argument number 1 |
|
|
| (instance LineFormation ShapeAttribute) | Mid-level-ontology.kif 21324-21324 | Line formation is an instance of shape attribute |
| (documentation LineFormation EnglishLanguage "A ShapeAttribute that applies to Collections and indicates that all of the members of the CollectionOfObjects are arrayed in a line, i.e. each member (except possibly the first) is behind or to the side of exactly one other member.") | Mid-level-ontology.kif 21325-21328 | Line formation is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?COLLECTION LineFormation) (instance ?COLLECTION CollectionOfObjects)) |
Mid-level-ontology.kif 21330-21332 | If line formation is an attribute of X, then X is an instance of collection |
| consequent |
|
|
| (=> (instance ?C Convoy) (attribute ?C LineFormation)) |
Mid-level-ontology.kif 24635-24637 | If X is an instance of convoy, then line formation is an attribute of X |
|