TreeView Knowledge Base Browser - Separating

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

DorsalScapularArtery

Sigma KEE - Separating

Separating

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12505-12505	不相交的 Separating and Combining
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3178-3180
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12506-12511
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12504-12504	子類 Separating and DualObjectProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12521-12521	子類 Breaking and Separating
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2569-2569	子類二氧化碳排放量 and Separating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12581-12581	子類 ChemicalDecomposition and Separating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19643-19643	子類色譜 and Separating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19596-19596	子類透析 and Separating
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5696-5696	子類蒸餾 and Separating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22027-22027	子類 Slicing and Separating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1168-1168
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1553-1553
No TPTP formula. May not be expressible in strict first order.	french_format.kif 846-846
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 378-378
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 381-381
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2530-2530
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 798-798
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 383-383
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 417-417
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 867-867
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 382-382

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5629-5635	例 Process and Separating 資源 Process and Object 結果 Process and Entity 例 Entity and 鐵例 Object and 鐵礦
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12513-12518	例 Process and Separating Entity 例 Entity and SelfConnectedObject 患者 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	例 Process and Curdling 患者 Process and Substance 例 Substance and 膠體 Process Substance 例 Process and Separating 子過程 Process and Process 患者 Process and Substance 結果 Process and Substance 片 Substance and Substance 例 Substance and Substance
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.	Food.kif 3115-3122	例 Entity and Cream EntityH Entity 例 EntityH and Separating 患者 EntityH and Entity 例 Entity and 奶結果 EntityH and Cream

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