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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Friction
Friction(friction)adhesive_friction, friction, grip, rubbing, traction

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 644-645
No TPTP formula. May not be expressible in strict first order. engineering.kif 646-646 Friction is a subclass of mechanical process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25046-25046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25045-25045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25044-25044

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 617-627
No TPTP formula. May not be expressible in strict first order. Cars.kif 639-649

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Cars.kif 607-615
No TPTP formula. May not be expressible in strict first order. Cars.kif 629-637
No TPTP formula. May not be expressible in strict first order. Cars.kif 588-594
No TPTP formula. May not be expressible in strict first order. Cars.kif 4453-4463


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