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


KB Term:  Term intersection
English Word: 

  acronym

 Sigma KEE - acronym
acronym

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


(instance acronym BinaryPredicate) Mid-level-ontology.kif 29847-29847 acronym is an instance of binary predicate
(instance acronym AsymmetricRelation) Mid-level-ontology.kif 29848-29848 acronym is an instance of asymmetric relation
(instance acronym PartialValuedRelation) Mid-level-ontology.kif 29849-29849 acronym is an instance of partial valued relation
(domain acronym 1 SymbolicString) Mid-level-ontology.kif 29850-29850 The number 1 argument of acronym is an instance of symbolic string
(domain acronym 2 Entity) Mid-level-ontology.kif 29851-29851 The number 2 argument of acronym is an instance of entity
(subrelation acronym abbreviation) Mid-level-ontology.kif 29852-29852 acronym is a subrelation of abbreviation
(documentation acronym EnglishLanguage "(acronym ?STRING ?ENTITY) means that ?STRING consists of the initial (capitalized) letters of a multiword name for ?ENTITY. Example: IBM is an acronym identifying (naming) a company for which the full name is International Business Machines.") Mid-level-ontology.kif 29853-29857 acronym is a subrelation of abbreviation

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


(format EnglishLanguage acronym "%1 is an acronym for %2") domainEnglishFormat.kif 2684-2684
(format ChineseTraditionalLanguage acronym "%1 是對於 %2 的 acronym ") domainEnglishFormat.kif 2685-2685
(format ChineseLanguage acronym "%1 是对于 %2 的 acronym ") domainEnglishFormat.kif 2686-2686
(termFormat EnglishLanguage acronym "acronym") domainEnglishFormat.kif 65772-65772

Show without tree

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