Smooth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Smooth

Smooth(smooth)

ironed, smooth, smoothed, smoothened

appearance as argument number 1

(contraryAttribute Smooth Rough)	Merge.kif 17944-17944	Smooth is the opposite of rough
(documentation Smooth ChineseLanguage "拥有这个 Attribute Object 的表面是平滑的。")	chinese_format.kif 3966-3966	Smooth is the opposite of rough
(documentation Smooth EnglishLanguage "An Object with this Attribute has a smooth surface.")	Merge.kif 17940-17941	Smooth is the opposite of rough
(instance Smooth TextureAttribute)	Merge.kif 17939-17939	Smooth is an instance of texture attribute

appearance as argument number 2

(termFormat ChineseLanguage Smooth "平滑")	domainEnglishFormat.kif 53567-53567
(termFormat ChineseTraditionalLanguage Smooth "平滑")	domainEnglishFormat.kif 53566-53566
(termFormat EnglishLanguage Smooth "smooth")	domainEnglishFormat.kif 53565-53565

consequent

(=> (and (instance ?SMOOTH Smoothing) (patient ?SMOOTH ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?SMOOTH)) (attribute ?PART Smooth)))))	Mid-level-ontology.kif 26901-26910	If a process is an instance of smoothing and an object is a patient of the process, then there exists another object such that the other object is a superficial part of the object and smooth is an attribute of the other object holds during the end of the time of existence of the process
(=> (instance ?G Rifle) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (not (attribute ?P Smooth)))))	Mid-level-ontology.kif 1959-1968	If an object is an instance of rifle, then there exist another object and a third object such that the other object is an instance of gun bore and the other object is a proper part of the object and the third object is a superficial part of the other object and the third object is inside to the other object and smooth is not an attribute of the third object
(=> (instance ?G Shotgun) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (attribute ?P Smooth))))	Mid-level-ontology.kif 1942-1950	If an object is an instance of shot gun, then there exist another object and a third object such that the other object is an instance of gun bore and the other object is a proper part of the object and the third object is a superficial part of the other object and the third object is inside to the other object and smooth is an attribute of the third object

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