Wire - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3608-3610
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 203-203
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3607-3607	Wire e' uma sub-classe de Artefato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3068-3068	WireCoil e' uma sub-classe de Wire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3621-3621	WireLine e' uma sub-classe de Wire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3616-3616	WireSpring e' uma sub-classe de Wire
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63219-63219
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63218-63218
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63217-63217

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 3612-3614

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 3222-3234