Translucent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Translucent

Translucent(translucent)

semitransparent, translucent

appearance as argument number 1

(documentation Translucent EnglishLanguage "A Translucent material admits light is one through which it is possible to transmit light but not through which is likely to be Seeing.")	Mid-level-ontology.kif 15164-15165
(instance Translucent VisualAttribute)	Mid-level-ontology.kif 15162-15162	Translucent is an instance of visual attribute

appearance as argument number 2

(termFormat EnglishLanguage Translucent "translucent")

Mid-level-ontology.kif 15163-15163

antecedent

(=> (attribute ?O Translucent) (modalAttribute (exists (?EMIT ?S ?OBJ) (and (instance ?EMIT RadiatingLight) (resource ?EMIT ?S) (destination ?EMIT ?OBJ) (between ?S ?O ?OBJ) (holdsDuring (WhenFn ?EMIT) (attribute ?OBJ Illuminated)))) Possibility))	Mid-level-ontology.kif 15179-15191	If translucent is an attribute of an object, then the statement there exist an entity, another entity and the objectBJ such that the entity is an instance of radiating light and the other entity is a resource for the entity and the entity ends up at the objectBJ and the object is between the other entity and the objectBJ and illuminated is an attribute of the objectBJ holds during the time of existence of the entity has the modal force of possibility
(=> (attribute ?O Translucent) (modalAttribute (not (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D)))) Likely))	Mid-level-ontology.kif 15167-15177	If translucent is an attribute of an object, then the statement there don't exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the third entity and the other entity is between the object and the third entity has the modal force of likely

consequent

(=>
(instance ?S SoupStock)
(attribute ?S Translucent))

Food.kif 1641-1643

If an object is an instance of soup stock,
then translucent is an attribute of the 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