Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Strap(strap) |  | strap |
| appearance as argument number 1 |
|
|
| (subclass Strap EngineeringComponent) | Mid-level-ontology.kif 1735-1735 | Strap is a subclass of engineering component |
| (documentation Strap EnglishLanguage "An elongated strip of Fabric or similar flexible material used to bind two Objects together or to secure an Object in a particular position. A Strap is typically a component of a larger Artifact such as a Backpack, Belt, or Harness.") | Mid-level-ontology.kif 1736-1739 | Strap is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Strap "strap") | Mid-level-ontology.kif 1740-1740 |
| antecedent |
|
|
| (=> (instance ?S Strap) (hasPurpose ?S (exists (?A) (and (instance ?A Attaching) (instrument ?A ?S))))) |
Mid-level-ontology.kif 1742-1748 | If X is an instance of strap, then X has the purpose there exists Y such that Y is an instance of attaching and X is an instrument for Y |
| (=> (instance ?S Strap) (modalAttribute (material Fabric ?S) Likely)) |
Mid-level-ontology.kif 1750-1752 | If X is an instance of strap, then the statement X is made of fabric has the modal force of likely |
|