Pliable - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pliable

Pliable(易彎的)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3962-3962
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17877-17878
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17876-17876	例易彎的 and InternalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17890-17890	相反的屬性硬性 and 易彎的
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46321-46321	相反的屬性硬性 and 易彎的
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46320-46320	相反的屬性硬性 and 易彎的
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46319-46319	相反的屬性硬性 and 易彎的

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4348-4360	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Object 部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4362-4375	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Process 例 Process and 旋轉患者 Process and Object 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17880-17887	例 Object and Object attribute Object and 易彎的 Process 例 Process and ShapeChange 患者 Process and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 183-202	例 Process and 旋轉患者 Process and Object 例 Object and ContinuousTrack Collection Collection, Object and Process 例 Collection and Collection 會員 Collection and Collection 例 Collection and 輪 Integer 是 Collection 的 member 計數比較多 Integer and 2 部分 Collection and Object 部分 Object and Object 例 Object and CorpuscularObject Object 是又長又瘦 attribute Object and 易彎的位於 Collection and Object 例 Process and 旋轉原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3650-3652	例 Object and Balloon attribute Object and 易彎的
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4928-4930	例 Object and 袋 attribute Object and 易彎的
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2299-2301	例 Object and Drivebelt attribute Object and 易彎的
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4324-4327	例 Physical and Hose 有目的 Physical and attribute Physical and 易彎的
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4859-4861	例 Object and Tire attribute Object and 易彎的
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5063-5065	例 Object and 條編材料 attribute Object and 易彎的
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5097-5111	例 Physical and 織有目的 Physical and entity entity, entity and entity 例 entity and Substance attribute entity and 易彎的患者 Physical and entity 部分 entity and entity 部分 entity and entity 等於 entity and entity 方位 entity, entity and 直角結果 Physical and entity 例 entity and Artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4336-4346	例 Physical and 捲軸有目的 Physical and entity entity 例 entity and Keeping 例 entity and CorpuscularObject attribute entity and 又長又瘦 attribute entity and 易彎的儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3728-3734	例 Object and SeatBelt CorpuscularObject 部分 CorpuscularObject and Object attribute CorpuscularObject and 易彎的材料 Fabric and CorpuscularObject

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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