displayedUpon - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - displayedUpon

displayedUpon

appearance as argument number 1

(documentation displayedUpon EnglishLanguage "(displayedUpon ?IMAGE ?DISPLAY) means that the image, ?IMAGE is displayed upon the ComputerDisplay, ?DISPLAY. A computer connected to multiple ComputerDisplays can have the same images displayed upon more than one display, or have them restricted to a single display.")	ComputerInput.kif 151-154
(domain displayedUpon 1 Image)	ComputerInput.kif 149-149	The number 1 argument of displayed upon is an instance of image
(domain displayedUpon 2 ComputerDisplay)	ComputerInput.kif 150-150	The number 2 argument of displayed upon is an instance of computer display
(instance displayedUpon BinaryPredicate)	ComputerInput.kif 148-148	displayed upon is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage displayedUpon "%1 是在 %2 displayed ")	domainEnglishFormat.kif 3270-3270
(format ChineseTraditionalLanguage displayedUpon "%1 是在 %2 displayed ")	domainEnglishFormat.kif 3269-3269
(format EnglishLanguage displayedUpon "%1 is displayed on %2")	domainEnglishFormat.kif 3268-3268
(termFormat EnglishLanguage displayedUpon "displayed upon")	domainEnglishFormat.kif 65815-65815

consequent

(=> (and (holdsDuring ?T (attribute ?X Booting)) (holdsDuring ?T2 (attribute ?X HostReady)) (equal ?T2 (ImmediateFutureFn (WhenFn ?T))) (instance ?DIS ComputerDisplay) (connectedEngineeringComponents ?DIS ?X)) (modalAttribute (exists (?HS) (and (instance ?HS HomeScreen) (displayedUpon ?HS ?DIS))) Likely))	ComputingBrands.kif 3231-3245	If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and the physical2 is equal to immediately after the time of existence of the physical and another engineering component is an instance of computer display and the other engineering component is connected to the engineering component, then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely
(=> (instance ?KEYBOARD ComputerTouchscreenKeyboard) (exists (?SCREEN) (and (instance ?SCREEN ComputerTouchscreen) (displayedUpon ?KEYBOARD ?SCREEN))))	ComputerInput.kif 457-462	If an image is an instance of computer touchscreen keyboard, then there exists a computer display such that the computer display is an instance of computer touchscreen and the image is displayed on the computer display
(=> (instance ?S Screenshot) (exists (?T ?I ?CD) (and (holdsDuring ?T (displayedUpon ?I ?CD)) (represents ?I ?S))))	ComputerInput.kif 1607-1613	If an entity is an instance of screenshot, then there exist a time position, another entity and a third entity such that the other entity is displayed on the third entity holds during the time position and the other entity expresses the entity

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