TreeView Knowledge Base Browser - Computer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Computer

Computer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 26-28
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 363-363
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 25-25	Computer est une sous-classe de ElectricDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 101-101	AppleComputer est une sous-classe de Computer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2512-2512	EngineControlModule est une sous-classe de Computer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3177-3177	IgnitionControlModule est une sous-classe de Computer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29530-29530	PortableComputer est une sous-classe de Computer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16248-16248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16247-16247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16246-16246

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 203-203	Le nombre 2 argument de computerRunning est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3534-3534	Le nombre 2 argument de connectedPeripheral est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3951-3951	Le nombre 2 argument de deviceAccount est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1023-1023	Le nombre 2 argument de hardwareType est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2129-2129	Le nombre 1 argument de hostJitter est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 550-550	Le nombre 2 argument de hostOf est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2111-2111	Le nombre 1 argument de hostStatus est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 762-762	Le nombre 1 argument de ipAddressOf est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1015-1015	Le nombre 1 argument de numberOfCPUs est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 188-188	Le nombre 2 argument de runningOn est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 339-339	Le nombre 2 argument de runsOn est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1034-1034	Le nombre 1 argument de thresholdOf est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4286-4286	Le nombre 2 argument de trustedDevice est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 352-352	Le nombre 2 argument de canRunOn est une sous-classe de Computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 728-728	Le nombre 2 argument de deviceOS est une sous-classe de Computer

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3476-3486	Processus est une instance de Jailbreaking entit� est une instance de Computer entit� est une instance de objet entit� est un patient de processus manufacturer objet and agent cognitif agent cognitif ne desire %n{pas} entit� processus est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3826-3840	Transf�re est une instance de SoftwareUpgrading entit� est un patient de transf�re entit� est une instance de Computer objet objectTransferred transf�re and objet objet est une instance de programme d'ordinateur pendant le d�but de temps d'existence de transf�re pendant la fin de temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3229	Physique a un attribute Booting physique est une instance de Computer objet objet and transf�re objet est une instance de DigitalData objet est une instance de OperatingSystem transf�re est une instance de DataTransfer temps d'existence de transf�re prend place pendant temps d'existence de physique transf�re aboutit � physique objet est une partie de objet objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1820-1827	Entit� est une instance de Computer AirplaneMode est un attribut de entit� pendant position temporel entit� est capable de faire NetworkCommunicationFn WirelessNetwork dans le r�le origin pendant position temporel

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 63-68	Objet corpusculaire est une instance de ComputerHardware objet corpusculaire objet corpusculaire est une instance de Computer objet corpusculaire est un composant de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	Collection est une instance de organisation ComputerAndElectronicProductManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de Computer entit� est une instance de machine AutonomousAgent3 objet entit� est un patient de AutonomousAgent3 objet est une resource pour AutonomousAgent3 objet est une instance de Electricity entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1723-1728	ComputerUser est un attribut de AutonomousAgent objet objet est une instance de Computer AutonomousAgent utilise objet
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2779-2786	Processus est une instance de UploadingOverNetwork entit� objet entit� est un patient de processus objet est une instance de Computer processus a pour origine objet entit� est une instance de DigitalData
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3324-3337	Collection est une instance de ComputerSystem composant d'un appareil composant d'un appareil and composant d'un appareil composant d'un appareil est une instance de Computer composant d'un appareil est une instance de Computer composant d'un appareil est une instance de ComputerNetwork composant d'un appareil est un membre de collection composant d'un appareil est un membre de collection composant d'un appareil est un membre de collection composant d'un appareil est composant d'un appareil composant d'un appareil est connect� � composant d'un appareil composant d'un appareil est connect� � composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4065-4072	ComputerProcess est une instance de DHCPServer programme d'ordinateur Computer Computer est une instance de Computer programme d'ordinateur est une instance de DHCPProgram computerRunning ComputerProcess and Computer programRunning ComputerProcess and programme d'ordinateur
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3801-3812	Processus est une instance de MountingADevice entit� entit� entit� est une instance de Computer entit� est une instance de ComputerIODevice entit� est un patient de processus entit� est un patient de processus entit� est connect� � entit� pendant temps d'existence de processus connectedPeripheral entit� and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1311-1318	Processus est une instance de ITProcess AutonomousAgent entit� processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est une instance de ITAgent entit� est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 157-164	ComputerProcess est une instance de ComputerProcess Computer programme d'ordinateur Computer est une instance de Computer computerRunning ComputerProcess and Computer programme d'ordinateur est une instance de programme d'ordinateur programRunning ComputerProcess and programme d'ordinateur
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1670-1676	Entit� est une instance de BusinessCenter l'argument entit� entit� est une instance de Computer entit� est situ� � entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4347-4358	loggedInDuring AutonomousAgent, UserAccount and interval temporel l'argument entit� entit� entit� est une instance de ComputerProcess entit� est un agent de AutonomousAgent deviceAccount UserAccount and entit� entit� est une instance de Computer computerRunning entit� and entit� entit� est un instrument pour entit� pendant interval temporel a la force modale de Possibility

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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