TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26686-26687
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26685-26685	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 26688-26688

appearance as argument number 3

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

Mid-level-ontology.kif 26673-26673

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 26695-26701	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 26690-26693	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