Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Spring
Spring(spring)
mainspring, spring

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 774-775
No TPTP formula. May not be expressible in strict first order. pictureList.kif 175-175
No TPTP formula. May not be expressible in strict first order. engineering.kif 776-776 Spring is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 725-725 A auto suspension system typically has a part spring
No TPTP formula. May not be expressible in strict first order. Cars.kif 1372-1372 A ball joint typically has a part spring

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 887-887 Leaf spring is a subclass of spring
No TPTP formula. May not be expressible in strict first order. Cars.kif 723-723 Wire spring is a subclass of spring
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54822-54822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54821-54821
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54820-54820

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30798-30805


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners