Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SSHWS1
SSHWS2
SSHWS3
SSHWS4
SSHWS5
SSHWSAttribute
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - Communication
Communication
appearance as argument number 1
(
documentation
Communication
ChineseLanguage
"这是一种涉及两个或以上的
CognitiveAgent
之间 传递信息的
SocialInteraction
。注:
Communication
十分接近,却又在本质上异于
ContentDevelopment
。后者涉及创作或修改一篇
ContentBearingObject
,而
Communication
则是为了 传达消息而转移信息。")
chinese_format.kif 3239-3242
(
documentation
Communication
EnglishLanguage
"A
SocialInteraction
that involves the transfer of information between two or more
CognitiveAgent
s. Note that
Communication
is closely related to, but essentially different from,
ContentDevelopment
. The latter involves the creation or modification of a
ContentBearingObject
, while
Communication
is the transfer of information for the purpose of conveying a message.")
Merge.kif 12120-12125
(
externalImage
Communication
"http://upload.wikimedia.org/wikipedia/en/8/ 8c/ North-America.png")
pictureList.kif 6305-6305
(
partition
Communication
Stating
Supposing
Directing
Committing
Expressing
Declaring
)
Merge.kif 12118-12118
partition
Communication
,
Stating
,
Supposing
,
Directing
,
Committing
,
Expressing
and
Declaring
(
relatedInternalConcept
Communication
CommunicationDevice
)
Mid-level-ontology.kif 3430-3430
relatedInternalConcept
Communication
and
CommunicationDevice
(
relatedInternalConcept
Communication
ContentDevelopment
)
Merge.kif 12119-12119
relatedInternalConcept
Communication
and
ContentDevelopment
(
subclass
Communication
ContentBearingProcess
)
Merge.kif 12117-12117
subclass
Communication
and
ContentBearingProcess
(
subclass
Communication
SocialInteraction
)
Merge.kif 12116-12116
subclass
Communication
and
SocialInteraction
appearance as argument number 2
(
subclass
ArtifactMediatedCommunication
Communication
)
Mid-level-ontology.kif 25293-25293
subclass
ArtifactMediatedCommunication
and
Communication
(
subclass
Disseminating
Communication
)
Merge.kif 12138-12138
subclass
Disseminating
and
Communication
(
subclass
Expressing
Communication
)
Merge.kif 12190-12190
subclass
Expressing
and
Communication
(
subclass
Gesture
Communication
)
Merge.kif 12173-12173
subclass
Gesture
and
Communication
(
subclass
InPersonCommunication
Communication
)
Media.kif 218-218
subclass
InPersonCommunication
and
Communication
(
subclass
Indicating
Communication
)
Mid-level-ontology.kif 1403-1403
subclass
Indicating
and
Communication
(
subclass
LinguisticCommunication
Communication
)
Merge.kif 12208-12208
subclass
LinguisticCommunication
and
Communication
(
subclass
Telephoning
Communication
)
Mid-level-ontology.kif 3446-3446
subclass
Telephoning
and
Communication
(
termFormat
ChineseLanguage
Communication
"沟通")
chinese_format.kif 1195-1195
(
termFormat
EnglishLanguage
Communication
"communication")
english_format.kif 1612-1612
antecedent
(=>
(
and
(
instance
?MODEM
CableModem
)
(
instance
?COMM
Communication
)
(
instrument
?COMM ?MODEM))
(
exists
(?CABLE)
(
and
(
instance
?CABLE
Cable
)
(
instrument
?COMM ?CABLE)
(
connectedEngineeringComponents
?CABLE ?MODEM))))
ComputerInput.kif 605-614
instance
an EngineeringComponent
and
CableModem
instance
a Process
and
Communication
instrument
Process
and
EngineeringComponent
EngineeringComponent
instance
EngineeringComponent
and
Cable
instrument
Process
and
EngineeringComponent
connectedEngineeringComponents
EngineeringComponent
and
EngineeringComponent
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 2884-2891
instance
a Proposition
and
Proposition
instance
a ContentBearingPhysical
and
ContentBearingObject
containsInformation
ContentBearingPhysical
and
Proposition
instance
a Process
and
Communication
patient
Process
and
ContentBearingPhysical
represents
Process
and
Proposition
(=>
(
instance
?COMMUNICATE
Communication
)
(
exists
(?PHYS ?ENTITY ?AGENT1 ?AGENT2)
(
and
(
refers
?PHYS ?ENTITY)
(
patient
?COMMUNICATE ?PHYS)
(
instance
?AGENT1
CognitiveAgent
)
(
agent
?COMMUNICATE ?AGENT1)
(
instance
?AGENT2
CognitiveAgent
)
(
destination
?COMMUNICATE ?AGENT2))))
Merge.kif 12127-12136
instance
a Process
and
Communication
an Entity
Entity
,
an Agent
and
a Entity
refers
Entity
and
Entity
patient
Process
and
Entity
instance
Agent
and
CognitiveAgent
agent
Process
and
Agent
instance
Entity
and
CognitiveAgent
destination
Process
and
Entity
consequent
(=>
(
and
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1299-1310
engineeringSubcomponent
an EngineeringComponent
and
Internet
engineeringSubcomponent
EngineeringComponent
and
Internet
equal
EngineeringComponent
and
EngineeringComponent
hasPurpose
Internet
and
an entity
instance
entity
and
Communication
agent
entity
and
EngineeringComponent
destination
entity
and
EngineeringComponent
instrument
entity
and
Internet
(=>
(
instance
?CO
CommunicationOrganization
)
(
exists
(?CS ?C)
(
and
(
instance
?C
Communication
)
(
instance
?CS
CommunicationSystem
)
(
instrument
?C ?CS)
(
agent
?C ?CO))))
Mid-level-ontology.kif 7274-7281
instance
an Agent
and
CommunicationOrganization
an Object
a Process
instance
Process
and
Communication
instance
Object
and
CommunicationSystem
instrument
Process
and
Object
agent
Process
and
Agent
(=>
(
instance
?DEVICE
CommunicationDevice
)
(
capability
Communication
instrument
?DEVICE))
Mid-level-ontology.kif 3432-3434
instance
an Object
and
CommunicationDevice
capability
Communication
,
instrument
and
Object
(=>
(
instance
?DOC
Document
)
(
hasPurpose
?DOC
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
instrument
?COMM ?DOC)))))
Mid-level-ontology.kif 24498-24504
instance
a Physical
and
Document
hasPurpose
Physical
and
an entity
instance
entity
and
Communication
instrument
entity
and
Physical
(=>
(
instance
?MEET
Meeting
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
agent
?MEET ?AGENT1)
(
agent
?MEET ?AGENT2)
(
hasPurpose
?MEET
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?AGENT1)
(
agent
?COMM ?AGENT2)))))))
Merge.kif 12371-12382
instance
a Process
and
Meeting
an Agent
Agent
agent
Process
and
Agent
agent
Process
and
Agent
hasPurpose
Process
and
an entity
instance
entity
and
Communication
agent
entity
and
Agent
agent
entity
and
Agent
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4155-4169
instance
a Process
and
Phishing
a CognitiveAgent
CognitiveAgent
,
Process
and
a Formula
instance
Process
and
Communication
origin
Process
and
CognitiveAgent
agent
Process
and
CognitiveAgent
destination
Process
and
CognitiveAgent
instance
Formula
and
Formula
knows
CognitiveAgent
and
Formula
desires
CognitiveAgent
and
knows
CognitiveAgent
and
Formula
desires
CognitiveAgent
and
knows
CognitiveAgent
and
Formula
(=>
(
instance
?X
OperatorAssistedTelephoneCommunication
)
(
exists
(?ORIGIN ?DEST ?OPERATOR)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
instance
?OPERATOR
Human
)
(
hasPurpose
?OPERATOR
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?OPERATOR)
(
subProcess
?PROC ?X)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROC))
(
modalAttribute
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
origin
?COMM ?ORIGIN)
(
destination
?COMM ?DEST)))
Possibility
))))))))
Mid-level-ontology.kif 25331-25353
instance
a Process
and
OperatorAssistedTelephoneCommunication
an Object
an Entity
and
a Physical
origin
Process
and
Object
destination
Process
and
Entity
instance
Physical
and
Human
hasPurpose
Physical
and
entity
instance
entity
and
IntentionalProcess
agent
entity
and
Physical
subProcess
entity
and
Process
holdsDuring
ImmediateFutureFn
WhenFn
entity
and
modalAttribute
a entity
instance
entity
and
Communication
origin
entity
and
Object
destination
entity
and
Entity
and
Possibility
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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