TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26674-26675
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26673-26673	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 26676-26676

appearance as argument number 3

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

Mid-level-ontology.kif 26661-26661

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 26683-26689	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 26678-26681	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