TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11446-11447
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6725-6725
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7420-7420
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11445-11445	Nervous system is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11444-11444	Nervous system is a subclass of organ

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40179-40179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40178-40178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40177-40177

antecedent

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

Mid-level-ontology.kif 11449-11454

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2251-2256	If a process is an instance of MS and an agent experiences the process, then impaired body part fn nervous system is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10955-10960	If an object is an instance of spinal cord, then there exists another object such that the other object is an instance of nervous system and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10756-10761	If an object is an instance of nerve cell, then there exists another object such that the other object is an instance of nervous system and the object is a part of the other object

statement

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

Medicine.kif 2978-2978