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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BrakeSystem

Sigma KEE - BrakeSystem
BrakeSystem

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1232-1234
No TPTP formula. May not be expressible in strict first order. Cars.kif 1230-1230 BrakeSystem est une sous-classe de PhysicalSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 1237-1237 typicalPart BrakeSystem and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 1236-1236 typicallyContainsPart BrakeSystem and Automobile

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1231-1231
No TPTP formula. May not be expressible in strict first order. Cars.kif 1559-1559 typicalPart BrakeCaliper and BrakeSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 1631-1631 typicalPart BrakeMasterCylinder and BrakeSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 1560-1560 typicallyContainsPart BrakeCaliper and BrakeSystem
No TPTP formula. May not be expressible in strict first order. Cars.kif 1632-1632 typicallyContainsPart BrakeMasterCylinder and BrakeSystem

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1239-1245

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1623-1629


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

Show without tree


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