Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
Investigating
IntentionalProcess
)
Merge.kif 12012-12012
Investigating
is a
subclass
of
intentional process
(
subclass
ResearchingWeaponOfMassDestruction
Investigating
)
WMD.kif 715-715
Researching weapon of mass destruction
is a
subclass
of
investigating
(
subclass
ReconnaissanceOperation
Investigating
)
MilitaryProcesses.kif 674-674
Reconnaissance operation
is a
subclass
of
investigating
(
subclass
OffensiveInformationOperation
Investigating
)
MilitaryProcesses.kif 1872-1872
Offensive information operation
is a
subclass
of
investigating
(
subclass
Espionage
Investigating
)
Mid-level-ontology.kif 10713-10713
Espionage
is a
subclass
of
investigating
(
subclass
Polling
Investigating
)
Mid-level-ontology.kif 10729-10729
Polling
is a
subclass
of
investigating
(
subclass
Experimenting
Investigating
)
Merge.kif 12038-12038
Experimenting
is a
subclass
of
investigating
(
subclass
DiagnosticProcess
Investigating
)
Merge.kif 12043-12043
Diagnostic process
is a
subclass
of
investigating
(
subclass
Searching
Investigating
)
Merge.kif 12054-12054
Searching
is a
subclass
of
investigating
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
