Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - administratorStatus

appearance as argument number 1

(documentation administratorStatus EnglishLanguage "(administratorStatus ?Administrator ?Status) holds is ?Status describes the status of the administrator.") FinancialOntology.kif 3864-3865
(domain administratorStatus 1 CognitiveAgent) FinancialOntology.kif 3862-3862 domain administratorStatus, 1 and CognitiveAgent
(domain administratorStatus 2 StatusAttribute) FinancialOntology.kif 3863-3863 domain administratorStatus, 2 and StatusAttribute
(instance administratorStatus BinaryPredicate) FinancialOntology.kif 3860-3860 instance administratorStatus and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage administratorStatus "%2 %n 是 %1 的 administrator 状态") domainEnglishFormat.kif 68-68
(format ChineseTraditionalLanguage administratorStatus "%2 %n 是 %1 的 administrator 狀態") domainEnglishFormat.kif 67-67
(format EnglishLanguage administratorStatus "%2 is %n an administrator status of %1") domainEnglishFormat.kif 66-66
(termFormat ChineseLanguage administratorStatus "管理员状态") domainEnglishFormat.kif 5573-5573 termFormat ChineseLanguage, administratorStatus and "管理员状态"
(termFormat ChineseTraditionalLanguage administratorStatus "管理員狀態") domainEnglishFormat.kif 5572-5572 termFormat ChineseTraditionalLanguage, administratorStatus and "管理員狀態"
(termFormat EnglishLanguage administratorStatus "administrator status") domainEnglishFormat.kif 5571-5571 termFormat EnglishLanguage, administratorStatus and "administrator status"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners