TreeView Knowledge Base Browser - Tape

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Tape

Sigma KEE - Tape

Tape(tape)

adhesive_tape, inkle, tape

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4220-4221
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2017-2017
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4219-4219	Tape is a subclass of attaching device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56955-56955
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56954-56954
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56953-56953

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 4223-4230

If an object is an instance of tape,
then there exists another object such that the other object is a part of the object and the other object is an instance of paper or the other object 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 is open source software produced by Articulate Software and its partners