Illuminated - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Illuminated

Illuminated(illuminated)

brightness, cloudiness, dimness, duskiness, glint, illumination, light, lighting, moonlit, moony, obscureness, obscurity, overcast, penumbra, semidarkness, shade, shadiness, shadowiness, umbra

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3941-3942
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17830-17832
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10057-10057
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11196-11196
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11197-11197
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11198-11198
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17829-17829	Illuminated is an instance of visual attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17835-17835	Unilluminated is the opposite of illuminated
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29312-29312	Unilluminated is the opposite of illuminated
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29311-29311	Unilluminated is the opposite of illuminated
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29310-29310	Unilluminated is the opposite of illuminated

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3474-3495	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13816-13822	If illuminated is an attribute of an object, then there exists a process such that the process is an instance of radiating light and the object is a patient of the process and the object is an instance of region

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13814	If a process is an instance of radiating light and an object is a patient of the process and the object is an instance of region, then illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3789-3798	If a physical is an instance of geographic area and the physical is located at antarctic area, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3728-3737	If a physical is an instance of geographic area and the physical is located at arctic region, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13689-13694	If a process is an instance of seeing and an entity is a patient of the process, then illuminated is an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16525-16537	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

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