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

Formal Language: 



KB Term:  Term intersection
English Word: 

  alias

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 22633-22635
(domain alias 1 SymbolicString) Mid-level-ontology.kif 22630-22630 domain alias, 1 and SymbolicString
(domain alias 2 Agent) Mid-level-ontology.kif 22631-22631 domain alias, 2 and Agent
(instance alias AsymmetricRelation) Mid-level-ontology.kif 22628-22628 instance alias and AsymmetricRelation
(instance alias BinaryPredicate) Mid-level-ontology.kif 22627-22627 instance alias and BinaryPredicate
(instance alias PartialValuedRelation) Mid-level-ontology.kif 22629-22629 instance alias and PartialValuedRelation
(subrelation alias deceptiveIdentifier) Mid-level-ontology.kif 22747-22747 subrelation alias and deceptiveIdentifier
(subrelation alias names) Mid-level-ontology.kif 22637-22637 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 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