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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NaturalProcess

 Sigma KEE - NaturalProcess
NaturalProcess

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10506-10506 NaturalProcess est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2929-2929
No TPTP formula. May not be expressible in strict first order. Merge.kif 10501-10502
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1680-1680
No TPTP formula. May not be expressible in strict first order. Merge.kif 10504-10504 NaturalProcess est une sous-classe de processus

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 642-642 ElectricalProcess est une sous-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 11210-11210 GeologicalProcess est une sous-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order. engineering.kif 638-638 MechanicalProcess est une sous-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order. engineering.kif 651-651 Resonance est une sous-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order. Geography.kif 2894-2894 Salination est une sous-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39897-39897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39896-39896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39895-39895


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