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 17822-17823
No TPTP formula. May not be expressible in strict first order. Merge.kif 17821-17821 易彎的 and InternalAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17835-17835 相反的屬性 硬性 and 易彎的
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46292-46292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46291-46291
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46290-46290

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4272-4284
No TPTP formula. May not be expressible in strict first order. Cars.kif 4286-4299
No TPTP formula. May not be expressible in strict first order. Merge.kif 17825-17832

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3574-3576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4452-4454
No TPTP formula. May not be expressible in strict first order. Cars.kif 2298-2300
No TPTP formula. May not be expressible in strict first order. Cars.kif 4248-4251
No TPTP formula. May not be expressible in strict first order. Cars.kif 4783-4785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4587-4589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4621-4635
No TPTP formula. May not be expressible in strict first order. Cars.kif 4260-4270
No TPTP formula. May not be expressible in strict first order. Cars.kif 3652-3658


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