Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
subrelation
?PRED1 ?PRED2)
(
instance
?PRED2 ?CLASS)
(
subclass
?CLASS
InheritableRelation
))
(
instance
?PRED1 ?CLASS))
Merge.kif 200-205
Relazione
è una
sottorelazione
di
Relazione
Relazione
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
InheritableRelation
Relazione
è un'
istanza
di
Classe
(
subclass
InheritableRelation
Relation
)
Merge.kif 2558-2558
InheritableRelation
è una
sottoclasse
di
Relazione
(
subclass
SingleValuedRelation
InheritableRelation
)
Merge.kif 2177-2177
RelazioneMonovalente
è una
sottoclasse
di
InheritableRelation
(
subclass
TotalValuedRelation
InheritableRelation
)
Merge.kif 2195-2195
RelazioneAValoreTotale
è una
sottoclasse
di
InheritableRelation
(
subclass
BinaryRelation
InheritableRelation
)
Merge.kif 2233-2233
RelazioneBinaria
è una
sottoclasse
di
InheritableRelation
(
subclass
CaseRole
InheritableRelation
)
Merge.kif 2401-2401
RuoloSemantico
è una
sottoclasse
di
InheritableRelation
(
subclass
ProbabilityRelation
InheritableRelation
)
Merge.kif 2565-2565
RelazioneDiProbabilit�
è una
sottoclasse
di
InheritableRelation
(
subclass
SpatialRelation
InheritableRelation
)
Merge.kif 2657-2657
RelazioneSpaziale
è una
sottoclasse
di
InheritableRelation
(
subclass
TemporalRelation
InheritableRelation
)
Merge.kif 2664-2664
RelazioneTemporale
è una
sottoclasse
di
InheritableRelation
(
subclass
IntentionalRelation
InheritableRelation
)
Merge.kif 2670-2670
IntentionalRelation
è una
sottoclasse
di
InheritableRelation
(
subclass
PropositionalAttitude
InheritableRelation
)
Merge.kif 2696-2696
AtteggiamentoProposizionale
è una
sottoclasse
di
InheritableRelation
(
subclass
ObjectAttitude
InheritableRelation
)
Merge.kif 2709-2709
AtteggiamentoOggettuale
è una
sottoclasse
di
InheritableRelation
(
subclass
TernaryRelation
InheritableRelation
)
Merge.kif 2856-2856
RelazioneTernaria
è una
sottoclasse
di
InheritableRelation
(
subclass
QuaternaryRelation
InheritableRelation
)
Merge.kif 2863-2863
RelazioneQuaternaria
è una
sottoclasse
di
InheritableRelation
(
subclass
QuintaryRelation
InheritableRelation
)
Merge.kif 2870-2870
RelazioneQuinquenaria
è una
sottoclasse
di
InheritableRelation
(
subclass
Predicate
InheritableRelation
)
Merge.kif 3341-3341
Predicato
è una
sottoclasse
di
InheritableRelation
(
subclass
Function
InheritableRelation
)
Merge.kif 3352-3352
Funzione
è una
sottoclasse
di
InheritableRelation
(
subclass
UnaryFunction
InheritableRelation
)
Merge.kif 3361-3361
FunzioneUnaria
è una
sottoclasse
di
InheritableRelation
(
subclass
BinaryFunction
InheritableRelation
)
Merge.kif 3401-3401
FunzioneBinaria
è una
sottoclasse
di
InheritableRelation
(
subclass
TernaryFunction
InheritableRelation
)
Merge.kif 3453-3453
FunzioneTernaria
è una
sottoclasse
di
InheritableRelation
(
subclass
QuaternaryFunction
InheritableRelation
)
Merge.kif 3464-3464
FunzioneQuaternaria
è una
sottoclasse
di
InheritableRelation
(
subclass
BinaryPredicate
InheritableRelation
)
Merge.kif 3481-3481
PredicatoBinario
è una
sottoclasse
di
InheritableRelation
(
subclass
TernaryPredicate
InheritableRelation
)
Merge.kif 3492-3492
PredicatoTernario
è una
sottoclasse
di
InheritableRelation
(
subclass
QuaternaryPredicate
InheritableRelation
)
Merge.kif 3503-3503
PredicatoQuaternario
è una
sottoclasse
di
InheritableRelation
(
subclass
QuintaryPredicate
InheritableRelation
)
Merge.kif 3514-3514
PredicatoQuinquenario
è una
sottoclasse
di
InheritableRelation
(
subclass
RelationExtendedToQuantities
InheritableRelation
)
Merge.kif 3535-3535
RelazioneEstesaAQuantit�
è una
sottoclasse
di
InheritableRelation
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