TreeView Knowledge Base Browser - ComputerSystem

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ComputerSystem

ComputerSystem(computer system)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3318-3320
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3317-3317	Computer system is a subclass of collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3339-3339	I-cloud is an instance of computer system
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3322-3322

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3324-3337

If a collection is an instance of computer system,
then there exist an engineering component, another engineering component and a third engineering component such that the engineering component is an instance of computer and the other engineering component is an instance of computer and the third engineering component is an instance of computer network and the engineering component is a member of the collection and the other engineering component is a member of the collection and the third engineering component is a member of the collection and the engineering component is not equal to the other engineering component and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component

consequent

No TPTP formula. May not be expressible in strict first order.

ComputerInput.kif 2684-2692

If a process is an instance of downloading,
then there exist an entity and an agent such that the entity is a patient of the process and the agent is an agent of the process and the process ends up at the agent and the agent is an instance of computer system and the entity is an instance of digital data

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