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

(documentation Pliable ChineseLanguage "拥有这个 Attribute Object 的形状可以被容易的改变。")	chinese_format.kif 3962-3962
(documentation Pliable EnglishLanguage "The shape of an Object with this Attribute can easily be altered.")	Merge.kif 17765-17766
(instance Pliable InternalAttribute)	Merge.kif 17764-17764	Pliable ist ein fall von InternalAttribute %n{nicht}

appearance as argument number 2

(contraryAttribute Rigid Pliable)	Merge.kif 17778-17778	Rigid wird Pliable entgegengesetzet %n{nicht}
(termFormat ChineseLanguage Pliable "易弯的")	domainEnglishFormat.kif 46290-46290
(termFormat ChineseTraditionalLanguage Pliable "易彎的")	domainEnglishFormat.kif 46289-46289
(termFormat EnglishLanguage Pliable "pliable")	domainEnglishFormat.kif 46288-46288

antecedent

(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR))))	Cars.kif 4295-4307	Wenn Object ist ein fall von Reel %n{nicht} und Process ist ein fall von Keeping %n{nicht} und Object ist ein fall von CorpuscularObject %n{nicht} und LongAndThin ist ein attribut von Object %n{nicht} und Pliable ist ein attribut von Object %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Object schliesst Object raeumlich an
(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K))))	Cars.kif 4309-4322	Wenn Object ist ein fall von Reel %n{nicht} und Process ist ein fall von Keeping %n{nicht} und Object ist ein fall von CorpuscularObject %n{nicht} und LongAndThin ist ein attribut von Object %n{nicht} und Pliable ist ein attribut von Object %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Rotating %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist ein subProzess von ** Process
(=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ))))	Merge.kif 17768-17775	Wenn Object ist ein fall von Object %n{nicht} und Pliable ist ein attribut von Object %n{nicht}, dann es gibt Process um Process ist ein fall von ShapeChange %n{nicht} und Object ist ein patient von Process %n{nicht}

consequent

(=> (instance ?B Balloon) (attribute ?B Pliable))	Cars.kif 3597-3599	Wenn Object ist ein fall von Balloon %n{nicht}, dann Pliable ist ein attribut von ** Object %n{nicht}
(=> (instance ?BAG Bag) (attribute ?BAG Pliable))	Mid-level-ontology.kif 4457-4459	Wenn Object ist ein fall von Bag %n{nicht}, dann Pliable ist ein attribut von ** Object %n{nicht}
(=> (instance ?D Drivebelt) (attribute ?D Pliable))	Cars.kif 2321-2323	Wenn Object ist ein fall von Drivebelt %n{nicht}, dann Pliable ist ein attribut von ** Object %n{nicht}
(=> (instance ?H Hose) (hasPurpose ?H (attribute ?H Pliable)))	Cars.kif 4271-4274	Wenn Physical ist ein fall von Hose %n{nicht}, dann Physical hat Zweck von Pliable ist ein attribut von Physical %n{nicht} %n{nicht}
(=> (instance ?T Tire) (attribute ?T Pliable))	Cars.kif 4806-4808	Wenn Object ist ein fall von Tire %n{nicht}, dann Pliable ist ein attribut von ** Object %n{nicht}
(=> (instance ?W Wicker) (attribute ?W Pliable))	Mid-level-ontology.kif 4592-4594	Wenn Object ist ein fall von Wicker %n{nicht}, dann Pliable ist ein attribut von ** Object %n{nicht}
(=> (instance ?WEAVE Weaving) (hasPurpose ?WEAVE (exists (?SUB ?WARP ?WEFT ?OBJ) (and (instance ?SUB Substance) (attribute ?SUB Pliable) (patient ?WEAVE ?SUB) (part ?WARP ?SUB) (part ?WEFT ?SUB) (not (equal ?WARP ?WEFT)) (orientation ?WARP ?WEFT RightAngle) (result ?WEAVE ?OBJ) (instance ?OBJ Artifact)))))	Mid-level-ontology.kif 4626-4640	Wenn Physical ist ein fall von Weaving %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Substance %n{nicht} und Pliable ist ein attribut von entity %n{nicht} und entity ist ein patient von Physical %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist gleich entity nicht und entity ist RightAngle hinsichlich entity %n{nicht} und entity ist ein resultat von Physical %n{nicht} und ** entity ist ein fall von Artifact %n{nicht} %n{nicht}
(=> (instance ?X Reel) (hasPurpose ?X (exists (?K ?H) (and (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?X) (patient ?K ?H)))))	Cars.kif 4283-4293	Wenn Physical ist ein fall von Reel %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Keeping %n{nicht} und entity ist ein fall von CorpuscularObject %n{nicht} und LongAndThin ist ein attribut von entity %n{nicht} und Pliable ist ein attribut von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT))))	Cars.kif 3675-3681	Wenn Object ist ein fall von SeatBelt %n{nicht}, dann es gibt CorpuscularObject um CorpuscularObject ist ein teil von Object %n{nicht} und Pliable ist ein attribut von CorpuscularObject %n{nicht} und Fabric ist von CorpuscularObject gebildet

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