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



KB Term:  Term intersection
English Word: 

  associatedFunctionality

Sigma KEE - associatedFunctionality
associatedFunctionality

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


(instance associatedFunctionality BinaryPredicate) VirusProteinAndCellPart.kif 345-345 associated functionality is an instance of binary predicate
(domain associatedFunctionality 1 ProteinStructuralAttribute) VirusProteinAndCellPart.kif 346-346 The number 1 argument of associated functionality is an instance of protein structural attribute
(domainSubclass associatedFunctionality 2 Protein) VirusProteinAndCellPart.kif 347-347 The number 2 argument of associated functionality is a subclass of protein
(documentation associatedFunctionality EnglishLanguage "(associatedFunctionality ?PSA ?PMBFR) means that holding the structural attribute ?PSA increases the likelihood that the holder of that attribute plays the role that defines members of ?PMBFR, i.e., there is at least some correlation between the structural attribute and the salient role.") VirusProteinAndCellPart.kif 348-351 The number 2 argument of associated functionality is a subclass of protein

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


(format EnglishLanguage associatedFunctionality "%2 is %n an associated functionality of %1") domainEnglishFormat.kif 194-194
(format ChineseTraditionalLanguage associatedFunctionality "%2 %n 是 %1 的 associated 功能") domainEnglishFormat.kif 195-195
(format ChineseLanguage associatedFunctionality "%2 %n 是 %1 的 associated 功能") domainEnglishFormat.kif 196-196
(termFormat EnglishLanguage associatedFunctionality "associated functionality") domainEnglishFormat.kif 8770-8770
(termFormat ChineseTraditionalLanguage associatedFunctionality "相關功能") domainEnglishFormat.kif 8771-8771
(termFormat ChineseLanguage associatedFunctionality "相关功能") domainEnglishFormat.kif 8772-8772


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