Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1Ra2En3Ra4In5En6Ra7InFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SphericalObject Object) | Mid-level-ontology.kif 27890-27890 | Spherical object is a subclass of object |
| (documentation SphericalObject EnglishLanguage "An object with the attribute of being spherical.") | Mid-level-ontology.kif 27891-27891 | Spherical object is a subclass of object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SphericalObject "spherical object") | domainEnglishFormat.kif 65531-65531 |
| antecedent |
|
|
| (=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere)) |
Mid-level-ontology.kif 27893-27895 | If X is an instance of spherical object, then X is sphere |
| consequent |
|
|
| (=> (instance ?SHOT FirearmShot) (exists (?C ?P ?CLASS ?X) (and (instance ?C CollectionOfObjects) (member ?P ?C) (instance ?P ?CLASS) (subclass ?CLASS SphericalObject) (approximateDiameter ?P (MeasureFn ?X Millimeter)) (modalAttribute (and (material ?CLASS Lead) (lessThan ?X 10)) Likely)))) |
Mid-level-ontology.kif 1147-1160 | If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely |
|