TreeView Knowledge Base Browser - accountUsed

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - accountUsed

accountUsed

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4164-4164
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4161-4161	O argumento numero 1 de accountUsed e' uma instancia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4162-4162	O argumento numero 2 de accountUsed e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4160-4160	accountUsed e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4163-4163	accountUsed e' uma sub-relacao de patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4166-4166
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4165-4165

consequent

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

ComputingBrands.kif 4373-4382

TwoFactorAuthentication e' um atributo de UserAccount loggedInDuring AutonomousAgent, UserAccount and Intervalo Temporal
Intervalo TemporalF Intervalo TemporalF e' uma instancia de TwoFactorLoggingIn Intervalo TemporalF e' um agente de AutonomousAgent accountUsed Intervalo TemporalF and UserAccount tempo de existencia de Intervalo TemporalF acontence antes de Intervalo Temporal

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