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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleBrake

 Sigma KEE - StateChange
StateChange(changement d'�tat)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3335-3336
No TPTP formula. May not be expressible in strict first order. Merge.kif 13775-13776
No TPTP formula. May not be expressible in strict first order. Merge.kif 13774-13774 Changement d'�tat est une sous-classe de changement interne

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13944-13944 �vaporer Est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10487-10487 Clotting est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. Merge.kif 13990-13990 Condenser est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. Food.kif 3179-3179 Curdling est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. Geography.kif 6991-6991 Deposition est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. Merge.kif 13969-13969 Evaporating est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. Merge.kif 14011-14011 Congeler est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. Merge.kif 13923-13923 Mettre en fusion est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. Geography.kif 7041-7041 Sublimation est une sous-classe de changement d'�tat
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1226-1226
No TPTP formula. May not be expressible in strict first order. english_format.kif 1673-1673
No TPTP formula. May not be expressible in strict first order. french_format.kif 904-904
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 437-437
No TPTP formula. May not be expressible in strict first order. terms-it.txt 440-440
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2588-2588
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 856-856
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 476-476
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 925-925
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 441-441

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13778-13789


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