LoggingIn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LoggingIn

LoggingIn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3960-3963
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3959-3959	子類 LoggingIn and UserDirectAction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4293-4293	子類 TwoFactorLoggingIn and LoggingIn
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4004-4004	子類 UserPasswordLogin and LoggingIn
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4006-4006	子類 UserPasswordLogin and LoggingIn
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4005-4005	子類 UserPasswordLogin and LoggingIn

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3965-3970	例 Process and LoggingIn agent Process and AutonomousAgent 用戶帳號 AutonomousAgent 有 account 用戶帳號
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3972-3986	例 Process and LoggingIn AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 等於 TimeInterval and 眼前的未來何時 Process agent Process and AutonomousAgent 模態屬性持有期間 TimeInterval and entity 例 entity and 電腦程序 agent entity and AutonomousAgent 患者 entity and WebSite and 可能性
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	例 Process and LoggingIn AutonomousAgent 有 account 用戶帳號 deviceAccount 用戶帳號 and 電腦等於 TimeInterval and 眼前的未來何時 Process agent Process and AutonomousAgent 模態屬性持有期間 TimeInterval and entity 例 entity and 電腦程序 agent entity and AutonomousAgent 儀器 entity and 電腦 and 可能性

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4009-4020	例 Process and LoginFailure agent Process and AutonomousAgent AutonomousAgent 有 account AutonomousAgentC 持有期間何時 Process and entity agent entity and AutonomousAgent 例 entity and LoggingIn 患者 entity and AutonomousAgentC
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4337-4345	loggedInDuring AutonomousAgent, 用戶帳號 and TimeInterval Process 例 Process and LoggingIn agent Process and AutonomousAgent 患者 Process and 用戶帳號 AutonomousAgent 有 account 用戶帳號早期 TimeInterval and 何時 Process

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