Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Tape(tape)
|  | adhesive_tape, inkle, tape |
| appearance as argument number 1 |
|
|
| (subclass Tape AttachingDevice) | Mid-level-ontology.kif 4872-4872 | Tape is a subclass of attaching device |
| (documentation Tape EnglishLanguage "A thin strip of Fabric or Paper that is used to attach two things.") | Mid-level-ontology.kif 4873-4874 | Tape is a subclass of attaching device |
| (externalImage Tape "http://upload.wikimedia.org/wikipedia/en/8/84/Gaffers_tape_2.gif") | pictureList.kif 2016-2016 | Tape is a subclass of attaching device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TAPE Tape) (exists (?PART) (and (part ?PART ?TAPE) (or (instance ?PART Paper) (instance ?PART Fabric))))) |
Mid-level-ontology.kif 4876-4883 | If X is an instance of tape, then there exists Y such that Y is a part of X and Y is an instance of paper or Y is an instance of fabric |
|