TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3526-3527
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 22-22
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15202-15202
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 45-45
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 21-21	%每個 Bone 是 Primate 的 initially part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15201-15201	子類 Bone and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 18-18	子類 Bone and Bone

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1221-1221	intialPart BoneMarrow and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 685-685	子類 ArmBone and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 18-18	子類 Bone and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1026-1026	子類 Coccyx and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1099-1099	子類 FootBone and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 52-52	子類 HeadBone and Bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11510-11510	子類喇叭 and Bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11521-11521	子類象牙 and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1032-1032	子類 LegBone and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1000-1000	子類 PelvicBone and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1283-1283	子類 Phalanx and Bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11231-11231	子類 RibBone and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1017-1017	子類 Sacrum and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 213-213	子類 ShoulderGirdleBone and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 246-246	子類 ThoraxBone and Bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 202-202	子類 ThroatBone and Bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11470-11470	子類齒 and Bone
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1026-1026
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 19-19
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1264-1264
No TPTP formula. May not be expressible in strict first order.	french_format.kif 704-704
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 235-235
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 238-238
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2387-2387

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.	Mid-level-ontology.kif 11682-11689	例 Object and Bone Object 例 Object and 骨架例 Object and 外骨骼部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15203-15205	例 CorpuscularObject and Bone 材料 BoneTissue and CorpuscularObject

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	例 Process and Amputating 患者 Process and Entity 例 Object and 肢 Object Object 部分 Object and Object 部分 Object and Object 例 Object and Bone 持有期間不久的過去何時 Process and 部分 Object and Entity 持有期間不久的過去何時 Process and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6128-6137	持有期間 TimeInterval and attribute Object and BoneFracture Process Object 例 Process and Separating 患者 Process and Object 例 Object and Bone 部分 Object and Object 短暫相遇何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6144-6154	持有期間 TimePosition and attribute Object and OpenFracture Object Object 例 Object and 皮膚部分 Object and Object 例 Object and Bone 部分 Object and Object 持有期間 TimePosition and 橫斷 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11544-11549	例 Process and 骨化 Entity 例 Entity and Bone 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11483-11485	例 Collection and 頭骨 Bone 是 Collection 的 member 類別
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9449-9455	例 Object and 肌腱 Object Object 例 Object and Muscle 例 Object and Bone 連接 Object, Object and Object

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

KB Term:			Term intersection

English Word: