WireSpring - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3611-3612
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4855-4855
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3610-3610	子類鋼絲彈簧 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 723-723	子類鋼絲彈簧 and 彈簧
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3609-3609	子類鋼絲彈簧 and 線

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63245-63245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63244-63244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63243-63243