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
geneticSubstrateOfVirus
Sigma KEE - geneticSubstrateOfVirus
geneticSubstrateOfVirus
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 37-38
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 35-35
Le nombre 1 argument de
geneticSubstrateOfVirus
est une
instance
de
virus
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 36-36
Le nombre 2 argument de
geneticSubstrateOfVirus
est une
instance
de
mol�cule
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 32-32
geneticSubstrateOfVirus
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 33-33
geneticSubstrateOfVirus
est une
instance
de
relation simple
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 34-34
geneticSubstrateOfVirus
est une
sous
-relation de
part
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1089-1089
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1088-1088
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1087-1087
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25758-25758
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25757-25757
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25756-25756
antecedent
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 169-173
Virus
est une
instance
de
VirusDoubleStranded
geneticSubstrateOfVirus
virus
and
mol�cule
hasMolecularStructuralAttribute
mol�cule
and
DoubleStrandedMolecularStructure
consequent
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 111-116
Virus
est une
instance
de
DNAVirus
mol�cule
geneticSubstrateOfVirus
virus
and
mol�cule
mol�cule
est une
instance
de
DNAMolecule
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 130-135
Virus
est une
instance
de
RNAVirus
mol�cule
geneticSubstrateOfVirus
virus
and
mol�cule
mol�cule
est une
instance
de
RNAMolecule
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