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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gland

 Sigma KEE - Gland
Gland(腺)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3521-3522
No TPTP formula. May not be expressible in strict first order. Merge.kif 15121-15122
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4702-4702
No TPTP formula. May not be expressible in strict first order. Merge.kif 15120-15120 腺 是 器官 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12291-12291 AdrenalGland 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12232-12232 LymphNode 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12324-12324 MucusGland 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12275-12275 胰腺 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12229-12229 垂体 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12305-12305 SalivaryGland 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12257-12257 SweatGland 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12359-12359 TearGland 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12222-12222 甲状腺 是 腺 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1024-1024
No TPTP formula. May not be expressible in strict first order. english_format.kif 1260-1260
No TPTP formula. May not be expressible in strict first order. french_format.kif 702-702
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 233-233
No TPTP formula. May not be expressible in strict first order. terms-it.txt 236-236
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2385-2385
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 654-654
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 271-271
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 723-723
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 237-237

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15219-15221

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14845-14851


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