Stretching - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17134-17135
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6902-6902
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7998-7998
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17136-17136	拉伸是延长的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17133-17133	拉伸是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55620-55620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55619-55619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55618-55618