TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24174-24177
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24180-24180	The number 1 argument of anniversary is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24181-24181	The number 2 argument of anniversary is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24178-24178	anniversary is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24179-24179	anniversary is an instance of temporal relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 148-148
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 147-147
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 146-146
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24233-24233	birthday is a subrelation of anniversary
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24192-24192	weddingAnniversary is a subrelation of anniversary
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7644-7644
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7643-7643
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7642-7642