TreeView Knowledge Base Browser - ITProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ITProcess

ITProcess(IT process)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1308-1309
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1310-1310	IT process is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1324-1324	Installation is a subclass of IT process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1330-1330	Un installation is a subclass of IT process
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31315-31315
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31314-31314
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31313-31313

antecedent

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

engineering.kif 1311-1318

If a process is an instance of IT process,
then there exist an agent and an entity such that the agent is an agent of the process and the entity is a patient of the process and the agent is an instance of IT agent and the entity is an instance of computer

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