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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DipSlipFault

 Sigma KEE - DipSlipFault
DipSlipFault(傾角滑動故障)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 10859-10859
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10861-10861
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10862-10862
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10858-10858
No TPTP formula. May not be expressible in strict first order. Geography.kif 2393-2393 子類 傾角滑動故障 and 地質斷層

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2394-2394 子類 正常的錯誤 and 傾角滑動故障
No TPTP formula. May not be expressible in strict first order. Geography.kif 2395-2395 子類 推力故障 and 傾角滑動故障
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19638-19638
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19637-19637
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19636-19636


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