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	WireSpring est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 723-723	WireSpring est une sous-classe de Spring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3609-3609	WireSpring est une sous-classe de Wire

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