TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26719-26720
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26718-26718	Uniform is a subclass of clothing

appearance as argument number 2

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

Mid-level-ontology.kif 26721-26721

appearance as argument number 3

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

Mid-level-ontology.kif 26706-26706

The number 2 argument of has uniform is a subclass of uniform

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26728-26734	If an entity is an instance of uniform, then there exist a process and another entity such that the process is an instance of intentional process and the other entity is a result of the process and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26723-26726	If a kind of uniform is a subclass of uniform, then there exists a group such that the group has uniform a kind of uniform