Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
LinguisticCommunication
Communication
)
Merge.kif 13265-13265
Linguistic communication
is a
subclass
of
communication
(
subclass
WrittenCommunication
LinguisticCommunication
)
Mid-level-ontology.kif 773-773
Written communication
is a
subclass
of
linguistic communication
(
subclass
Speaking
LinguisticCommunication
)
Mid-level-ontology.kif 819-819
Speaking
is a
subclass
of
linguistic communication
(
subclass
Corresponding
LinguisticCommunication
)
Mid-level-ontology.kif 822-822
Corresponding
is a
subclass
of
linguistic communication
(
subclass
TellingALie
LinguisticCommunication
)
Mid-level-ontology.kif 911-911
Telling a lie
is a
subclass
of
linguistic communication
(
subclass
ExpressingInLanguage
LinguisticCommunication
)
Mid-level-ontology.kif 14465-14465
Expressing in language
is a
subclass
of
linguistic communication
(
subclass
Debating
LinguisticCommunication
)
Mid-level-ontology.kif 21274-21274
Debating
is a
subclass
of
linguistic communication
(
subclass
Negotiating
LinguisticCommunication
)
Mid-level-ontology.kif 21281-21281
Negotiating
is a
subclass
of
linguistic communication
(
subclass
Elaborating
LinguisticCommunication
)
Mid-level-ontology.kif 31576-31576
Elaborating
is a
subclass
of
linguistic communication
(
subclass
Restating
LinguisticCommunication
)
Mid-level-ontology.kif 31590-31590
Restating
is a
subclass
of
linguistic communication
(
subclass
Stating
LinguisticCommunication
)
Merge.kif 13277-13277
Stating
is a
subclass
of
linguistic communication
(
subclass
Supposing
LinguisticCommunication
)
Merge.kif 13311-13311
Supposing
is a
subclass
of
linguistic communication
(
subclass
Directing
LinguisticCommunication
)
Merge.kif 13316-13316
Directing
is a
subclass
of
linguistic communication
(
subclass
Committing
LinguisticCommunication
)
Merge.kif 13360-13360
Committing
is a
subclass
of
linguistic communication
(
subclass
Declaring
LinguisticCommunication
)
Merge.kif 13380-13380
Declaring
is a
subclass
of
linguistic communication
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