TreeView Knowledge Base Browser - Weaving

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Weaving

Weaving(weaving)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4622-4623
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4624-4624	Weaving is a subclass of making

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4605-4605	Wickering is a subclass of weaving
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64380-64380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64381-64381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64379-64379

antecedent

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

Mid-level-ontology.kif 4626-4640

If a physical is an instance of weaving,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and pliable is an attribute of the entity and the entity is a patient of the physical and the other entity is a part of the entity and the third entity is a part of the entity and the other entity is not equal to the third entity and the other entity is right angle to the third entity and the fourth entity is a result of the physical and the fourth entity is an instance of artifact

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