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



KB Term:  Term intersection
English Word: 

Sigma KEE - alias
alias

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


(instance alias BinaryPredicate) Mid-level-ontology.kif 25522-25522 alias is an instance of binary predicate
(instance alias AsymmetricRelation) Mid-level-ontology.kif 25523-25523 alias is an instance of asymmetric relation
(instance alias PartialValuedRelation) Mid-level-ontology.kif 25524-25524 alias is an instance of partial valued relation
(domain alias 1 SymbolicString) Mid-level-ontology.kif 25525-25525 The number 1 argument of alias is an instance of symbolic string
(domain alias 2 AutonomousAgent) Mid-level-ontology.kif 25526-25526 The number 2 argument of alias is an instance of agent
(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 25528-25530 The number 2 argument of alias is an instance of agent
(subrelation alias names) Mid-level-ontology.kif 25532-25532 alias is a subrelation of names
(subrelation alias deceptiveIdentifier) Mid-level-ontology.kif 25642-25642 alias is a subrelation of deceptive identifier

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


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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners