Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Ra2In3En4Ra5En6Ra7ReFn

 Sigma KEE - Tape
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
-------------------------


(termFormat EnglishLanguage Tape "tape") domainEnglishFormat.kif 56948-56948
(termFormat ChineseTraditionalLanguage Tape "膠帶") domainEnglishFormat.kif 56949-56949
(termFormat ChineseLanguage Tape "胶带") domainEnglishFormat.kif 56950-56950

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners