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 289-292
(domain associatedFunctionality 1 ProteinStructuralAttribute) VirusProteinAndCellPart.kif 287-287 domain associatedFunctionality, 1 and ProteinStructuralAttribute
(domainSubclass associatedFunctionality 2 Protein) VirusProteinAndCellPart.kif 288-288 domainSubclass associatedFunctionality, 2 and Protein
(instance associatedFunctionality BinaryPredicate) VirusProteinAndCellPart.kif 286-286 instance associatedFunctionality and BinaryPredicate

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 8779-8779
(termFormat ChineseTraditionalLanguage associatedFunctionality "相關功能") domainEnglishFormat.kif 8778-8778
(termFormat EnglishLanguage associatedFunctionality "associated functionality") domainEnglishFormat.kif 8777-8777


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners