TreeView Knowledge Base Browser - SurfaceChange

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SurfaceChange

SurfaceChange

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3195-3195
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12613-12614
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12612-12612	子類 SurfaceChange and InternalChange

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12631-12631	子類 Coloring and SurfaceChange
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18008-18008	子類挖掘 and SurfaceChange
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3333-3333	子類畫畫 and SurfaceChange
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18095-18095	子類鑽孔 and SurfaceChange
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25231-25231	子類 Roughening and SurfaceChange
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25215-25215	子類 Smoothing and SurfaceChange
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18022-18022	子類翻耕 and SurfaceChange
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3310-3310	子類追踪 and SurfaceChange
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1174-1174
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1565-1565
No TPTP formula. May not be expressible in strict first order.	french_format.kif 852-852
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 384-384
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 387-387
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2536-2536
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 804-804
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 389-389
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 423-423
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 873-873
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 388-388

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12616-12629

例 Process and SurfaceChange 患者 Process and Object
Object entity 膚淺的部分 Object and Object 持有期間開始何時 Process and attribute Object and entity 持有期間結束何時 Process and attribute Object and entity 持有期間開始何時 Process and attribute Object and entity 持有期間結束何時 Process and attribute Object and entity

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2923-2939	例 Collection and Organization attribute Collection and 印刷和相關的支持活動 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and SurfaceChange 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1924-1932	例 Physical and 刷子或梳子有目的 Physical and entity 例 entity and Removing 例 entity and SurfaceChange 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2538-2540	例 Object and 文件設備能力 SurfaceChange, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5990-5999	例 Physical and 車床有目的 Physical and entity entity 儀器 entity and Physical 患者 entity and entity 例 entity and ShapeChange 例 entity and SurfaceChange

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