TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24266-24267
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24268-24268	The number 1 argument of weddingdate is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24269-24269	The number 2 argument of weddingdate is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24270-24270	The number 3 argument of weddingdate is an instance of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24271-24271	weddingdate is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4978-4978
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4977-4977
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4976-4976
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65972-65972

antecedent

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

Mid-level-ontology.kif 24273-24282

consequent

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

Biography.kif 307-317