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
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
process
,
then
the agent
is
capable
of doing
the kind of entity
as a
agent
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7350-7364
If
an object
is an
instance
of
auditorium seat
and
the object
is a
part
of
another object
and
a third object
is a
part
of
the other object
and
the other object
is an
instance
of
auditorium
and
the third object
is an
instance
of
performance stage
and
a fourth object
is
located
at
the object
and
the fourth object
is an
instance
of
human
and
a kind of process
is a
subclass
of
seeing
and for all
another process
if
the other process
is an
instance
of
a kind of process
,
then
the third object
is a
patient
of
the other process
,
then
the fourth object
is
capable
of doing
the kind of process
as a
agent
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
If
a collection
and
another collection
are
orthogonal
tests
and
an object
is an
instance
of
human
and
a physical
is an
instance
of
a kind of process
and
a kind of process
is a
subclass
of
experimenting
and
the physical
is a
member
of
the collection
and
the object
is
capable
of doing
the kind of process
as a
experimental subject
,
then there exist
another physical
and
another kind of process
such that
the other physical
is an
instance
of
another kind of process
and
the other physical
is a
member
of
the other collection
and
the other kind of process
is a
subclass
of
experimenting
and
the object
is
capable
of doing
the other kind of process
as a
experimental subject
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
If
a case role
is an
instance
of
case role
and
the case role
an entity
and
an object
and
the entity
is an
instance
of
a kind of process
and
a kind of process
is a
subclass
of
process
,
then
the object
is
capable
of doing
the kind of process
as a
the case role
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12036-12048
If
a process
is an
instance
of
deciding
and
a cognitive agent
is an
agent
of
the process
and
a set
is an
instance
of
set
and
the set
is a
patient
of
the process
and
an entity
is an
element
of
the set
,
then
the cognitive agent
believe
s there exists
another entity
such that
the entity
is an
instance
of
the other entity
and
the other entity
is a
subclass
of
intentional process
and
the cognitive agent
is
capable
of doing
the other entity
as a
agent
(=>
(
instance
?TEAM
SportsTeam
)
(
exists
(?SPORT)
(
and
(
subclass
?SPORT
Sport
)
(
capability
?SPORT
agent
?TEAM))))
Mid-level-ontology.kif 7527-7532
If
an object
is an
instance
of
sports team
,
then there exists
a kind of process
such that
a kind of process
is a
subclass
of
sport
and
the object
is
capable
of doing
the kind of process
as a
agent
(=>
(
attribute
?DOCTOR
MedicalDoctor
)
(
exists
(?PROCESS1 ?PROCESS2)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
capability
?PROCESS1
agent
?DOCTOR)
(
capability
?PROCESS2
agent
?DOCTOR))))
Mid-level-ontology.kif 21035-21042
If
medical doctor
is an
attribute
of
an object
,
then there exist
a kind of process
and
another kind of process
such that
a kind of process
is a
subclass
of
diagnostic process
and
another kind of process
is a
subclass
of
therapeutic process
and
the object
is
capable
of doing
the kind of process
as a
agent
and
the object
is
capable
of doing
the other kind of process
as a
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
object
and
a process
is an
instance
of
another kind of process
and
another kind of process
is a
subclass
of
process
and
another entity
is an
instance
of
the kind of entity
and
the other entity
is a
patient
of
the process
,
then
the agent
is
capable
of doing
the other kind of process
as a
agent
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9560-9573
If
an object
is an
instance
of
plant
and
another object
is a
part
of
the object
,
then there exist
a process
,
an entity
and
another kind of process
such that
the process
is an
instance
of
another kind of process
and
the other kind of process
is a
subclass
of
keeping
and
the entity
is an
instance
of
freshwater
and
the entity
is a
patient
of
the process
and
the other object
is
capable
of doing
the other kind of process
as a
instrument
and
the other object
is an
instance
of
plant leaf
or
the other object
is an
instance
of
plant stem
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 16980-16985
If
an object
is an
instance
of
game artifact
,
then there exists
a kind of process
such that
a kind of process
is a
subclass
of
game
and
the object
is
capable
of doing
the kind of process
as a
instrument
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
If
a military vehicle
can carry
a positive integer
weapons of type
a kind of weapon
. and
an object
is an
instance
of
a kind of weapon
and
the object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
or
the kind of process
is a
subclass
of
damaging
,
then
the military vehicle
is
capable
of doing
the kind of process
as a
the case role
(=>
(
subclass
?F
Fertilisation
)
(
capability
?F
patient
Organism
))
Mid-level-ontology.kif 23987-23989
If
a kind of process
is a
subclass
of
conceiving
,
then
organism
is
capable
of doing
a kind of process
as a
patient
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
If
an object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
,
then there exists
another object
such that
the other object
is an
instance
of
weapon
and
the other object
is a
part
of
the object
and
the other object
is
capable
of doing
the kind of process
as a
the case role
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