TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13529-13530
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13531-13531	Le nombre 1 argument de SenseInabilityFn est une sous-classe de perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13528-13528	SenseInabilityFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13532-13532	Les valeurs retourn�es par SenseInabilityFn sont des sous-classes de processus pathologique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13534-13534
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13533-13533