Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerScreen
ComputerScreen(computer screen)

appearance as argument number 1
-------------------------


(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 32237-32237 Instance of computer screen are always initially part of instances of laptop
(subclass ComputerScreen ComputerDisplay) ComputerInput.kif 156-156 Computer screen is a subclass of computer display
(documentation ComputerScreen EnglishLanguage "A ComputerDisplay for displaying information on some sort of screen.") ComputerInput.kif 157-158 Computer screen is a subclass of computer display
(disjoint ComputerScreen ComputerTouchpad) ComputerInput.kif 435-435 Computer screen is disjoint from computer touchpad
(subclass ComputerScreen HomeOfficeAppliance) HouseholdAppliances.kif 517-517 Computer screen is a subclass of home office appliance
(subclass ComputerScreen VideoDisplay) HouseholdAppliances.kif 518-518 Computer screen is a subclass of video display
(subclass ComputerScreen ElectricDevice) HouseholdAppliances.kif 519-519 Computer screen is a subclass of electric device
(documentation ComputerScreen EnglishLanguage "A device capable of displaying video signal generated by a Computer ") HouseholdAppliances.kif 520-520 Computer screen is a subclass of electric device

appearance as argument number 2
-------------------------


(subclass ComputerTouchscreen ComputerScreen) ComputerInput.kif 438-438 Computer touchscreen is a subclass of computer screen
(termFormat EnglishLanguage ComputerScreen "computer screen") domainEnglishFormat.kif 64686-64686 Computer touchscreen is a subclass of computer screen

appearance as argument number 3
-------------------------


(domain screenOfGUIE 2 ComputerScreen) ComputerInput.kif 874-874 The number 2 argument of screen of GUIE is an instance of computer screen

antecedent
-------------------------


(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))		 ComputerInput.kif 160-162 If X is an instance of computer screen, then X is rectangle
(=>
    (instance ?DEVICE ComputerScreen)
    (hasPurpose ?DEVICE
        (exists (?RL ?VIDEO ?SIGNAL ?COMPUTER)
            (and
                (instance ?RL RadiatingVisibleLight)
                (instance ?VIDEO VideoRecording)
                (instance ?SIGNAL Signalling)
                (instance ?COMPUTER Computer)
                (instrument ?RL ?DEVICE)
                (represents ?RL ?VIDEO)
                (agent ?SIGNAL ?COMPUTER)
                (patient ?SIGNAL ?DEVICE)
                (represents ?SIGNAL ?VIDEO)))))		 HouseholdAppliances.kif 525-538 If X is an instance of computer screen, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of radiating visible light (3) Z is an instance of video recording (4) W is an instance of signalling (5) V is an instance of computer (6) X is an instrument for Y (7) Y expresses Z (8) V is an agent of W (9) X is a patient of W (10) W expresses Z


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