TreeView Knowledge Base Browser - experimentalControl

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15717-15720
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15722-15722	实验控制的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15723-15723	实验控制的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15721-15721	实验控制是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15724-15724	实验控制是受事的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 939-939
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 938-938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 937-937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22810-22810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22809-22809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22808-22808