(=>     (trusts ?A1 ?A2 ?P)     (believes ?A1         (=>             (exists (?S ?PI ?P)                 (and                     (instance ?S Stating)                     (containsFormula ?S                         (and                             (instance ?PI ?P)                             (agent ?PI ?A2)))))             (modalAttribute                 (and                     (instance ?PI ?P)                     (agent ?PI ?A2)) Likely))))	Law.kif 400-415	trusts CognitiveAgent, AutonomousAgent and IntentionalProcess 相信 CognitiveAgent and entity IntentionalProcessI and IntentionalProcess 例 entity and Stating containsFormula entity and 例 IntentionalProcessI and IntentionalProcess agent IntentionalProcessI and AutonomousAgent 模態屬性 例 IntentionalProcessI and IntentionalProcess agent IntentionalProcessI and AutonomousAgent and 容易
(=>     (userIDString ?STRING ?ACCOUNT)     (modalAttribute         (not             (exists (?ACCOUNT2)                 (and                     (instance ?ACCOUNT2 UserAccount)                     (userIDString ?STRING ?ACCOUNT2)))) Likely))	UXExperimentalTerms.kif 1112-1120	對於 用戶帳號 的 ID 是 Identifier 模態屬性 用戶帳號2 例 用戶帳號2 and 用戶帳號 對於 用戶帳號2 的 ID 是 Identifier and 容易

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