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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - alias
alias

appearance as argument number 1
-------------------------


(documentation alias EnglishLanguage "(alias ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely being used to hide or obscure ?AGENT's true identity.") Mid-level-ontology.kif 22742-22744
(domain alias 1 SymbolicString) Mid-level-ontology.kif 22739-22739 domain alias, 1 and SymbolicString
(domain alias 2 Agent) Mid-level-ontology.kif 22740-22740 domain alias, 2 and Agent
(instance alias AsymmetricRelation) Mid-level-ontology.kif 22737-22737 instance alias and AsymmetricRelation
(instance alias BinaryPredicate) Mid-level-ontology.kif 22736-22736 instance alias and BinaryPredicate
(instance alias PartialValuedRelation) Mid-level-ontology.kif 22738-22738 instance alias and PartialValuedRelation
(subrelation alias deceptiveIdentifier) Mid-level-ontology.kif 22856-22856 subrelation alias and deceptiveIdentifier
(subrelation alias names) Mid-level-ontology.kif 22746-22746 subrelation alias and names

appearance as argument number 2
-------------------------


(format ChineseLanguage alias "%2 %n 是 %1 的 alias ") domainEnglishFormat.kif 124-124
(format ChineseTraditionalLanguage alias "%2 %n 是 %1 的 alias ") domainEnglishFormat.kif 123-123
(format EnglishLanguage alias "%2 is %n an alias of %1") domainEnglishFormat.kif 122-122
(termFormat ChineseLanguage alias "别号") domainEnglishFormat.kif 6525-6525
(termFormat ChineseTraditionalLanguage alias "別號") domainEnglishFormat.kif 6524-6524
(termFormat EnglishLanguage alias "alias") domainEnglishFormat.kif 6523-6523


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