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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganOrTissueProcess

 Sigma KEE - OrganOrTissueProcess
OrganOrTissueProcess(organ or tissueprocess)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10206-10206 Organ or tissueprocess est disjoint de fonction physiologique
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2900-2901
No TPTP formula. May not be expressible in strict first order. Merge.kif 10208-10209
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1649-1650
No TPTP formula. May not be expressible in strict first order. Merge.kif 10205-10205 Organ or tissueprocess est une sous-classe de AutonomicProcess

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24098-24098 BiologicalConception est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2829-2829 Bradycardia est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10514-10514 Clotting est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24021-24021 Fertilisation est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10742-10742 HeartBeat est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12412-12412 Inflammation est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23929-23929 Menstruation est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10578-10578 MuscleRelaxing est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10556-10556 MuscularContraction est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24087-24087 Organification est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11567-11567 Ossification est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11027-11027 Sunburn est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2809-2809 Tachycardia est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11044-11044 Tanning est une sous-classe de organ or tissueprocess
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1087-1087
No TPTP formula. May not be expressible in strict first order. english_format.kif 1385-1385
No TPTP formula. May not be expressible in strict first order. french_format.kif 765-765
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 297-297
No TPTP formula. May not be expressible in strict first order. terms-it.txt 300-300
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2449-2449
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 717-717
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 336-336
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 786-786
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 301-301

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10211-10218

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9435-9445


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