TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 724-726
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 727-727	Le nombre 1 argument de sententialSubject est une instance de syntagme nominal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 728-728	Le nombre 2 argument de sententialSubject est une instance de phrase
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 729-729	sententialSubject est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 730-730	sententialSubject est une sous-relation de grammaticalRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4498-4498
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4497-4497
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4496-4496
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52131-52131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52130-52130
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52129-52129