equal
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 6166-6176
An entity
is an
instance
of
conjugated substance
if and only if there exist
an object
,
another object
and
a process
such that
the object
is an
instance
of
compound substance
and
the other object
is an
instance
of
compound substance
and
the object
is not
equal
to
the other object
and
the process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the other object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(<=>
(
instance
?GRAPH
GraphCircuit
)
(
exists
(?NODE)
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))))
Merge.kif 5884-5889
A graph path
is an
instance
of
graph circuit
if and only if there exists
a graph node
such that the
beginning
of
the graph path
is
equal
to
the graph node
and the
end
of
the graph path
is
equal
to
the graph node
(<=>
(
instance
?GRAPH
MultiGraph
)
(
exists
(?ARC1 ?ARC2 ?NODE1 ?NODE2)
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))))
Merge.kif 5898-5908
A graph
is an
instance
of
multi graph
if and only if there exist
a graph arc
,
another graph arc
,, ,
a graph node
and
another graph node
such that
the graph arc
is a
part
of
the graph
and
the other graph arc
is a
part
of
the graph
and
the graph node
is a
part
of
the graph
and
the other graph node
is a
part
of
the graph
and
the graph arc
link
s
the graph node
and
the other graph node
and
the other graph arc
link
s
the graph node
and
the other graph node
and
the graph arc
is not
equal
to
the other graph arc
(<=>
(
instance
?HEMISPHERE
Hemisphere
)
(
or
(
equal
?HEMISPHERE
NorthernHemisphere
)
(
equal
?HEMISPHERE
SouthernHemisphere
)
(
equal
?HEMISPHERE
EasternHemisphere
)
(
equal
?HEMISPHERE
WesternHemisphere
)))
Geography.kif 3334-3340
An entity
is an
instance
of
hemisphere
if and only if
the entity
is
equal
to
northern hemisphere
or
the entity
is
equal
to
southern hemisphere
or
the entity
is
equal
to
eastern hemisphere
or
the entity
is
equal
to
western hemisphere
(<=>
(
instance
?OBJ
SelfConnectedObject
)
(
forall
(?PART1 ?PART2)
(=>
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))))
Merge.kif 9545-9550
An object
is an
instance
of
self connected object
if and only if for all
another object
and
a third object
if
the object
is
equal
to the
union
of the parts of
the other object
and
the third object
,
then
the other object
is
connected
to
the third object
(<=>
(
languagePercentInRegion
?L ?N ?R)
(
exists
(?G1 ?G2)
(
and
(
located
?P ?R)
(
member
?P ?G1)
(
speaksLanguage
?P ?L)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1564-1575
A real number
percent of people in
a geographic area
speak
a language
if and only if there exist
a collection
and
another collection
such that
a sentient agent
is
located
at
the geographic area
and
the sentient agent
is a
member
of
the collection
and
the language
is a
speaks
language of
the sentient agent
and
the real number
1 is a
member
count of
the collection
and
the sentient agent
2 is
located
at
the geographic area
and
the sentient agent
2 is a
member
of
the other collection
and
the real number
2 is a
member
count of
the other collection
and
the real number
and 100 is
equal
to
the real number
1 and
the real number
2
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1934-1938
A quantity
is
less
than or equal to
another quantity
if and only if
the quantity
is
equal
to
the other quantity
or
the quantity
is
less
than
the other quantity
(<=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8453-8457
A time interval
meet
s
another time interval
if and only if the
end
of
the time interval
is
equal
to the
beginning
of
the other time interval
(<=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8254-8262
A time interval
start
s
another time interval
if and only if the
beginning
of
the time interval
is
equal
to the
beginning
of
the other time interval
and the
end
of
the time interval
happens
before
the
end
of
the other time interval
(<=>
(
stringConcatenation
?S1 ?S1 ?S3)
(
equal
?S3
(
StringConcatenateFn
?S1 ?S2)))
Mid-level-ontology.kif 22248-22250
The
concatenation
of
a symbolic string
and
the symbolic string
is
another symbolic string
if and only if
the other symbolic string
is
equal
to the
concatenation
of
the symbolic string
and
a third symbolic string
(<=>
(
stringLength
?INT ?STRING)
(
equal
?INT
(
StringLengthFn
?STRING)))
Mid-level-ontology.kif 22218-22220
A symbolic string
is
a nonnegative integer
characters
long
if and only if
the nonnegative integer
is
equal
to the
length
of
the symbolic string
(=>
(<=>
(
element
?ELEMENT ?SET1)
(
element
?ELEMENT ?SET2))
(
equal
?SET1 ?SET2))
Merge.kif 5515-5519
If
an entity
is an
element
of
a set
if and only if
the entity
is an
element
of
another set
,
then
the set
is
equal
to
the other set
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
LengthMeasure
)
(
instance
?VM
VolumeMeasure
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 15652-15663
If the
approximate
diameter
of
a self connected object
is
a real number
the real number
M(s) and the
radius
of
an object
is
the real number
and 2
the real number
M(s) and the
measure
of
the object
is
another real number
another unit of measure
(s) and the
measure
of
the self connected object
is
a third real number
the other unit of measure
(s) and
the real number
M is an
instance
of
length measure
and
the other unit of measure
is an
instance
of
volume measure
,
then
the other real number
is
equal
to
the third real number
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 27677-27689
If
Collectible
is an
attribute
of
an object
and
the object
has
purpose
a formula
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
instance
of
human
and
the cognitive agent
want
s
the object
and
the cognitive agent
desire
s
the formula
2 and
the formula
2
entail
s
the cognitive agent
possess
es
the object
and
the formula
is not
equal
to
the formula
2
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 429-439
If
mashup
is an
attribute
of
an object
and
the object
is an
instance
of
recording
,
then there exist
the object
1,
the object
2,, ,
a music
and
another music
such that
the object
1 is a
recording
of
the music
and
the object
2 is a
recording
of
the other music
and
the music
is not
equal
to
the other music
and
the object
1 is a
part
of
the object
and
the object
2 is a
part
of
the object
(=>
(
and
(
attribute
?M
RemixRecording
)
(
instance
?M
MusicRecording
))
(
exists
(?O ?A)
(
equal
?M
(
RemixFn
?O ?A))))
Music.kif 447-452
If
remix recording
is an
attribute
of
a music recording
and
the music recording
is an
instance
of
music recording
,
then there exist
another music recording
and
a cognitive agent
such that
the music recording
is
equal
to the
remix
of
the other music recording
by
the cognitive agent
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 460-473
If
cover recording
is an
attribute
of
a music recording
and
the music recording
is an
instance
of
music recording
and
a cognitive agent
is the
performer
in
the music recording
and
the music recording
is a
recording
of
a music
and
the music recording
is a
record
of
the music
M,
then there exist
another music recording
,
the cognitive agent
RTIST and
the music
USIC such that
the other music recording
is a
recording
of
the music
and
the cognitive agent
RTIST is the
performer
in
the other music recording
and
the cognitive agent
is not
equal
to
the cognitive agent
RTIST and
the other music recording
is a
record
of
the music
USIC and the
time
of existence of
the music
USIC happens
before
the
time
of existence of
the music
M
(=>
(
and
(
attribute
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1937-1945
If
unicameral legislature
is an
attribute
of
an organization
and
a geopolitical area
is a
legislative
branch of
the organization
and
another organization
is an
instance
of
legislative chamber
and
the other organization
is a part of the organization the
government
of
the geopolitical area
and
a third organization
is an
instance
of
legislative chamber
and
the third organization
is a part of the organization the
government
of
the geopolitical area
,
then
the other organization
is
equal
to
the third organization
(=>
(
and
(
attribute
?SYLLABLE
Stressed
)
(
instance
?WORD
Word
)
(
part
?SYLLABLE ?WORD))
(
not
(
exists
(?SYLLABLE2)
(
and
(
instance
?SYLLABLE2
Syllable
)
(
part
?SYLLABLE2 ?WORD)
(
attribute
?SYLLABLE2
Stressed
)
(
not
(
equal
?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 17222-17232
If
stressed
is an
attribute
of
an object
and
another object
is an
instance
of
word
and
the object
is a
part
of
the other object
,
then there doesn't exist
the object
2 such that
the object
2 is an
instance
of
syllable
and
the object
2 is a
part
of
the other object
and
stressed
is an
attribute
of
the object
2 and
the object
2 is not
equal
to
the object
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1158-1175
If
communal
is an
attribute
of
an object
and
the object
is an
instance
of
table
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
group of people
and
the process
is
located
at
2
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the agent
is not
equal
to
the entity
and
the entity
is an
instance
of
group of people
and
the other entity
is
located
at
2
and the
time
of existence of
the process
meet
s the
time
of existence of
the other entity
and
the object
is
equal
to
the object
2 has the
modal
force
of
possibility
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 23664-23677
If
multilingual
is an
attribute
of
an agent
and
a process
is an
instance
of
speaking
and
the agent
is an
agent
of
the process
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
spoken human language
and
the other entity
is an
instance
of
spoken human language
and
the entity
is not
equal
to
the other entity
and
the entity
is a
patient
of
the process
or
the other entity
is a
patient
of
the process
has the
modal
force
of
possibility
(=>
(
and
(
courseWRTMagneticNorth
?OBJ1 ?OBJ2 ?MAGDEGREE)
(
partlyLocated
?OBJ1 ?AREA)
(
partlyLocated
?OBJ2 ?AREA)
(
magneticVariation
?AREA ?DEGREE ?DIRECTION))
(
exists
(?DIFFDEGREE ?TRUEDEGREE)
(
and
(=>
(
and
(
equal
?DIRECTION
East
)
(
equal
?DIFFDEGREE
(
AdditionFn
?MAGDEGREE ?DEGREE)))
(
courseWRTTrueNorth
?OBJ1 ?OBJ2 ?TRUEDEGREE))
(=>
(
and
(
equal
?DIRECTION
West
)
(
equal
?DIFFDEGREE
(
SubtractionFn
?MAGDEGREE ?DEGREE)))
(
courseWRTTrueNorth
?OBJ1 ?OBJ2 ?TRUEDEGREE)))))
Geography.kif 3619-3636
If
a physical
courseWRT
magnetic north
another physical
for
a plane angle measure
and
the physical
is
partly
located in
a geographic area
and
the other physical
is
partly
located in
the geographic area
and
the geographic area
magnetic
variation
another plane angle measure
for
a directional attribute
,
then there exist
a quantity
and
a third plane angle measure
such that
if
the directional attribute
is
equal
to
east
and
the quantity
is
equal
to (
the plane angle measure
and
the other plane angle measure
),
then
the physical
courseWRT
true north
the other physical
for
the third plane angle measure
and
if
the directional attribute
is
equal
to
west
and
the quantity
is
equal
to (
the plane angle measure
and
the other plane angle measure
),
then
the physical
courseWRT
true north
the other physical
for
the third plane angle measure
(=>
(
and
(
defaultValue
?R ?ARG ?N)
(?R @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18850-18855
If
defaultValue
a predicate
,
a positive integer
and
a quantity
and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
equal
to
the other entity
has the
modal
force
of
likely
(=>
(
and
(
distanceOnPath
?DIST ?PATH)
(
pathInSystem
?PATH ?SYS)
(
routeStart
?START ?PATH)
(
routeEnd
?END ?PATH)
(
abstractCounterpart
?GRAPH ?SYS))
(
exists
(?S ?BN ?EN)
(
and
(
subGraph
?S ?GRAPH)
(
equal
?BN
(
BeginNodeFn
?GRAPH))
(
equal
?EN
(
EndNodeFn
?GRAPH))
(
abstractCounterpart
?BN ?START)
(
abstractCounterpart
?EN ?END))))
Transportation.kif 2747-2760
If the
distance
of
a transitway
is
a constant quantity
and
a transit system
is a
path
in system of
the transitway
and
a region
is the
start
of
the transitway
and
another region
is the
end
of
the transitway
and the
abstract
counterpart
of
the transit system
is
a graph path
,
then there exist
a graph
,
a graph node
and
another graph node
such that
the graph
is a
subgraph
of
the graph path
and
the graph node
is
equal
to the
beginning
of
the graph path
and
the other graph node
is
equal
to the
end
of
the graph path
and the
abstract
counterpart
of
the region
is
the graph node
and the
abstract
counterpart
of
the other region
is
the other graph node
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1080-1093
If
an object
is an
element
of
belongings
of
an organization
and
annex room
is an
attribute
of
the object
and
the object
is an
instance
of
hotel room
,
then there exist
another object
,
a third object
and
another organization
such that
the other organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
front desk
and
the other organization
is
located
at
the other object
and
the other object
is an
element
of
belongings
of
the organization
and
the third object
is an
element
of
belongings
of
the organization
and
the object
is a
part
of
the third object
and
the other object
is not
equal
to
the third object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
