Wickering - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Wickering

Wickering(wickering)

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64376-64376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64377-64377
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64375-64375

antecedent

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

Mid-level-ontology.kif 4607-4620

If a physical is an instance of wickering,
then the physical has the purpose there exist the physicalICK, another entity,, , the physicalARP and the physicalEFT such that the physicalICK is an instance of wicker and the physicalICK is a patient of the physical and the physicalARP is a part of the physicalICK and the physicalEFT is a part of the physicalICK and the physicalARP traverses the physicalEFT and the physicalARP is not equal to the physicalEFT and the other entity is a result of the physical and the other entity is an instance of artifact

consequent

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

Mid-level-ontology.kif 4504-4509

If an entity is an instance of basket,
then there exists a process such that the process is an instance of wickering and the entity is a result of the process

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

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