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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - associatedFunctionality
associatedFunctionality

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


(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 343-346
(domain associatedFunctionality 1 ProteinStructuralAttribute) VirusProteinAndCellPart.kif 341-341 The number 1 argument of associated functionality is an instance of protein structural attribute
(domainSubclass associatedFunctionality 2 Protein) VirusProteinAndCellPart.kif 342-342 The number 2 argument of associated functionality is a subclass of protein
(instance associatedFunctionality BinaryPredicate) VirusProteinAndCellPart.kif 340-340 associated functionality is an instance of binary predicate

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


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


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