Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
biologicalAgentCarrier
Sigma KEE - biologicalAgentCarrier
biologicalAgentCarrier
appearance as argument number 1
(
documentation
biologicalAgentCarrier
EnglishLanguage
"(
biologicalAgentCarrier
?AGENT ?ORGANISM) means that the
subclass
of
Organism
?ORGANISM is a carrier of the
subclass
of
BiologicalAgent
?AGENT.")
WMD.kif 972-974
(
domainSubclass
biologicalAgentCarrier
1
BiologicalAgent
)
WMD.kif 970-970
生物制剂载体
的 1 数量 是
生物制剂
的
subclass
(
domainSubclass
biologicalAgentCarrier
2
Organism
)
WMD.kif 971-971
生物制剂载体
的 2 数量 是
生物
的
subclass
(
instance
biologicalAgentCarrier
BinaryPredicate
)
WMD.kif 969-969
生物制剂载体
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
biologicalAgentCarrier
"%2 %n 是 %1 的病毒传递者")
domainEnglishFormat.kif 304-304
(
format
ChineseTraditionalLanguage
biologicalAgentCarrier
"%2 %n 是 %1 的病毒傳遞者")
domainEnglishFormat.kif 303-303
(
format
EnglishLanguage
biologicalAgentCarrier
"%2 is %n a biological agent carrier of %1")
domainEnglishFormat.kif 302-302
(
termFormat
ChineseLanguage
biologicalAgentCarrier
"生物制剂载体")
domainEnglishFormat.kif 11099-11099
(
termFormat
ChineseTraditionalLanguage
biologicalAgentCarrier
"生物製劑載體")
domainEnglishFormat.kif 11098-11098
(
termFormat
EnglishLanguage
biologicalAgentCarrier
"biological agent carrier")
domainEnglishFormat.kif 11097-11097
antecedent
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
如果
有点 生物
是
有点 生物制剂
的病毒传递者 和
另一个 有点 生物
是
有点 生物
的
subclass
,
然后
另一个 有点 生物
是
有点 生物制剂
的病毒传递者
(=>
(
biologicalAgentCarrier
?ID ?M)
(
equal
?ID
(
InfectionFn
?M)))
Medicine.kif 2007-2009
如果
有点 生物
是
有点 生物制剂
的病毒传递者,
然后
有点 生物制剂
equal
InfectionFn
有点 生物
consequent
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
如果
有点 生物
是
有点 生物制剂
的病毒传递者 和
另一个 有点 生物
是
有点 生物
的
subclass
,
然后
另一个 有点 生物
是
有点 生物制剂
的病毒传递者
(=>
(
equal
?ID
(
InfectionFn
?M))
(
biologicalAgentCarrier
?ID ?M))
Medicine.kif 2003-2005
如果
有点 生物制剂
equal
InfectionFn
有点 生物
,
然后
有点 生物
是
有点 生物制剂
的病毒传递者
appearance as argument number 0
(
biologicalAgentCarrier
BacillusAnthracis
HoofedMammal
)
WMD.kif 285-285
有蹄哺乳动物
是
炭疽杆菌
的病毒传递者
(
biologicalAgentCarrier
BordetellaPertussis
Human
)
WMD.kif 1586-1586
人类
是
百日咳博德特氏菌
的病毒传递者
(
biologicalAgentCarrier
Borrelia
Louse
)
Medicine.kif 1429-1429
Louse
是
Borrelia
的病毒传递者
(
biologicalAgentCarrier
Borrelia
Tick
)
Medicine.kif 1428-1428
Tick
是
Borrelia
的病毒传递者
(
biologicalAgentCarrier
BurkholderiaMallei
Mammal
)
WMD.kif 356-356
哺乳动物
是
burkholderia mallei
的病毒传递者
(
biologicalAgentCarrier
BurkholderiaPseudomallei
Mammal
)
WMD.kif 372-372
哺乳动物
是
burkholderia 假单胞菌
的病毒传递者
(
biologicalAgentCarrier
ChlamydiaPsittaci
Bird
)
WMD.kif 1597-1597
鸟
是
衣原体鹦鹉热
的病毒传递者
(
biologicalAgentCarrier
Conotoxin
Mollusk
)
WMD.kif 1470-1470
软体动物
是
芋螺毒素
的病毒传递者
(
biologicalAgentCarrier
CrimeanCongoHemorrhagicFeverVirus
Arachnid
)
WMD.kif 1919-1919
蛛形䋞动物
是
克里米亚刚果出血热病毒
的病毒传递者
(
biologicalAgentCarrier
DengueFeverVirus
Mosquito
)
WMD.kif 1638-1638
Mosquito
是
登革热病毒
的病毒传递者
(
biologicalAgentCarrier
EasternEquineEncephalitisVirus
Mosquito
)
WMD.kif 1689-1689
Mosquito
是
东部马脑炎病毒
的病毒传递者
(
biologicalAgentCarrier
FrancisellaTularensis
Arachnid
)
WMD.kif 1205-1205
蛛形䋞动物
是
弗朗西斯 土拉弗朗西斯菌
的病毒传递者
(
biologicalAgentCarrier
FrancisellaTularensis
Rodent
)
WMD.kif 1204-1204
啮齿动物
是
弗朗西斯 土拉弗朗西斯菌
的病毒传递者
(
biologicalAgentCarrier
GiardiaLamblia
Rodent
)
WMD.kif 1365-1365
啮齿动物
是
贾第鞭毛虫
的病毒传递者
(
biologicalAgentCarrier
HerpesBVirus
Monkey
)
WMD.kif 1524-1524
猴子
是
疱疹B病毒
的病毒传递者
(
biologicalAgentCarrier
JapaneseEncephalitisVirus
Mosquito
)
WMD.kif 1703-1703
Mosquito
是
日本脑炎病毒
的病毒传递者
(
biologicalAgentCarrier
JuninVirus
Rodent
)
WMD.kif 1925-1925
啮齿动物
是
junin病毒
的病毒传递者
(
biologicalAgentCarrier
LaCrosseVirus
Mosquito
)
WMD.kif 1659-1659
Mosquito
是
拉克罗斯病毒
的病毒传递者
(
biologicalAgentCarrier
LaCrosseVirus
Rodent
)
WMD.kif 1660-1660
啮齿动物
是
拉克罗斯病毒
的病毒传递者
(
biologicalAgentCarrier
LassaVirus
Rodent
)
WMD.kif 1860-1860
啮齿动物
是
拉萨病毒
的病毒传递者
(
biologicalAgentCarrier
MachupoVirus
Rodent
)
WMD.kif 1938-1938
啮齿动物
是
machupo病毒
的病毒传递者
(
biologicalAgentCarrier
MalarialPlasmodium
Mosquito
)
WMD.kif 1615-1615
Mosquito
是
疟疾疟原虫
的病毒传递者
(
biologicalAgentCarrier
MonkeypoxVirus
Mammal
)
WMD.kif 1235-1235
哺乳动物
是
猴痘病毒
的病毒传递者
(
biologicalAgentCarrier
Myxomatosis
Rodent
)
WMD.kif 1404-1404
啮齿动物
是
Myxomatosis
的病毒传递者
(
biologicalAgentCarrier
RickettsiaProwazekii
Arthropod
)
WMD.kif 267-267
节肢动物
是
立克次氏体
的病毒传递者
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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 is
open source software
produced by
Articulate Software
and its partners