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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeologicalProcess

 Sigma KEE - GeologicalProcess
GeologicalProcess
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11191-11191 GeologicalProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3015-3016
No TPTP formula. May not be expressible in strict first order. Merge.kif 11193-11195
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1779-1780
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3098-3098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2957-2957
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3097-3097
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3096-3096
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3101-3101
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3100-3100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3099-3099
No TPTP formula. May not be expressible in strict first order. Merge.kif 11190-11190 GeologicalProcess e' uma sub-classe de Mudanca Interna
No TPTP formula. May not be expressible in strict first order. Merge.kif 11189-11189 GeologicalProcess e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order. Merge.kif 11188-11188 GeologicalProcess e' uma sub-classe de NaturalProcess

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2627-2627 CarbonCycle e' uma sub-classe de GeologicalProcess
No TPTP formula. May not be expressible in strict first order. Geography.kif 2318-2318 EarthTremor e' uma sub-classe de GeologicalProcess
No TPTP formula. May not be expressible in strict first order. Geography.kif 2304-2304 Earthquake e' uma sub-classe de GeologicalProcess
No TPTP formula. May not be expressible in strict first order. Geography.kif 2675-2675 Erosion e' uma sub-classe de GeologicalProcess
No TPTP formula. May not be expressible in strict first order. Geography.kif 6769-6769 LandSubsidence e' uma sub-classe de GeologicalProcess
No TPTP formula. May not be expressible in strict first order. Geography.kif 6763-6763 Landslide e' uma sub-classe de GeologicalProcess
No TPTP formula. May not be expressible in strict first order. Geography.kif 2431-2431 VolcanicEruption e' uma sub-classe de GeologicalProcess
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25800-25800
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25799-25799
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25798-25798


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