TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1998-1999
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2000-2000	The number 1 argument of InfectionFn is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2001-2001	The range of InfectionFn is an instance of infectious disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1997-1997	InfectionFn is a subclass of unary function

antecedent

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

Medicine.kif 2003-2005

consequent

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

Medicine.kif 2007-2009