Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
RadiatingSound
Sigma KEE - subclass
subclass
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1371-1373
No TPTP formula. May not be expressible in strict first order.
Merge.kif 133-135
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 27-29
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 28-30
No TPTP formula. May not be expressible in strict first order.
Merge.kif 131-131
The number 1 argument of
subclass
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 132-132
The number 2 argument of
subclass
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 129-129
subclass
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18645-18645
subclass
is an
instance
of
closed world predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 130-130
subclass
is an
instance
of
partial ordering relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 319-319
No TPTP formula. May not be expressible in strict first order.
english_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.
french_format.kif 182-182
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 271-271
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 419-419
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 202-202
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 192-192
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22956-22956
sub field
is a
subrelation
of
subclass
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55708-55708
sub field
is a
subrelation
of
subclass
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 320-320
sub field
is a
subrelation
of
subclass
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55707-55707
sub field
is a
subrelation
of
subclass
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55706-55706
sub field
is a
subrelation
of
subclass
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 133-133
sub field
is a
subrelation
of
subclass
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3987-4007
If
attention deficit hyperactivity disorder
is an
attribute
of
an agent
and
attention deficit hyperactivity disorder
is not an
attribute
of
another agent
and
the agent
is not
equal
to
the other agent
and
a process
is an
instance
of
a class
and
another process
is an
instance
of
the class
and
the class
is a
subclass
of
intentional psychological process
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the other process
and
duration
of the
time
of existence of
the process
is
a time duration
and
duration
of the
time
of existence of
the other process
is
another time duration
,
then the statement
the other time duration
is
greater
than
the time duration
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1194-1209
If
oversized
is an
attribute
of
an object
and
the object
is an
immediate
instance of
a class
and
the class
is a
subclass
of
hotel unit
,
then there exist
a physical
,
a real number
,, ,
another real number
and
an unit of measure
such that
the physical
is an
immediate
instance of
the class
and
the unit of measure
is an
instance
of
unit of area
and the
measure
of
the physical
is
the real number
the unit of measure
(s) and the
measure
of
the object
is
the other real number
the unit of measure
(s) and
the real number
is an
instance
of
area measure
and
the other real number
is an
instance
of
area measure
and
the other real number
is
greater
than
the real number
No TPTP formula. May not be expressible in strict first order.
Biography.kif 738-748
If
writer
is an
attribute
of
an agent
and
an entity
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
text
or
the kind of content bearing object
is a
subclass
of
document
and
a process
is an
instance
of
writing
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
,
then
the agent
is the
author
of
the kind of content bearing object
No TPTP formula. May not be expressible in strict first order.
WMD.kif 789-793
If
a kind of process
is a
biochemical
agent delivery of
a kind of biochemical agent
and
another kind of process
is a
subclass
of
a kind of process
,
then
another kind of process
is a
biochemical
agent delivery of
a kind of biochemical agent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 976-980
If
a kind of organism
is a
biological
agent carrier of
a kind of biological agent
and
another kind of organism
is a
subclass
of
a kind of organism
,
then
another kind of organism
is a
biological
agent carrier of
a kind of biological agent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Government.kif 583-589
If the
day
a positive integer
of month the
month
a kind of month
is a
commemorates
date of
a kind of holiday
and
an entity
is an
instance
of
a kind of holiday
and
the kind of holiday
is a
subclass
of
fixed holiday
and
an integer
is
less
than or equal to
another entity
_YEAR,
then
the entity
is an
instance
of the
day
the positive integer
of month the
month
a kind of month
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 504-520
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
object
and
an entity
is an
instance
of
the kind of physical
,
then
the agent
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
process
and
the entity
is a
resource
for
the other entity
or
the entity
is an
instrument
for
the other entity
or
the entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
or
the cognitive agent
experience
s
the other entity
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 522-538
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
element
of
belongings
of
the agent
and
the agent
is an
agent
of
the entity
and
the cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
the third entity
is an
instance
of
the kind of physical
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14886-14897
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14855-14866
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
No TPTP formula. May not be expressible in strict first order.
WMD.kif 957-961
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
and
another kind of process
is a
subclass
of
a kind of process
,
then
the disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
another kind of process
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
and
another kind of biologically active substance
is a
subclass
of
a kind of biologically active substance
,
then
the disease or syndrome
is
disease
treatment
another kind of biologically active substance
for
a kind of process
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2352-2361
If
a geopolitical area
is
electricity
consumption in period
a physical quantity
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the physical quantity
is an
annual
electricity consumption of
the geopolitical area
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2396-2405
If
a geopolitical area
is
electricity
export in period
a physical quantity
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the physical quantity
is an
annual
electricity export of
the geopolitical area
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2442-2451
If
a geopolitical area
is
electricity
import in period
a physical quantity
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the physical quantity
is an
annual
electricity import of
the geopolitical area
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2220-2229
If
a geopolitical area
is
electricity
production in period
a physical quantity
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the physical quantity
is an
annual
electricity production of
the geopolitical area
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Food.kif 2883-2889
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
animal fat
and
another kind of object
is a
subclass
of
fat tissue
,
then every
the other kind of object
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4967-4972
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
coffee bean
and
another kind of object
is a
subclass
of
seed
,
then every
the other kind of object
is
initially
part
of a
coffee plant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5031-5037
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
cocoa bean
and
another kind of object
is a
subclass
of
seed
,
then every
the other kind of object
is
initially
part
of a
cocoa tree
No TPTP formula. May not be expressible in strict first order.
Media.kif 195-200
If
a kind of getting
is
equal
to
receiving
a
a kind of object
and
another kind of getting
is
equal
to
receiving
a
another kind of object
and
a kind of object
is a
subclass
of
another kind of object
,
then
a kind of getting
is a
subclass
of
another kind of getting
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19972-19977
If
an organization
is
equal
to
another organization
is
preventing
a kind of physical
and
a kind of physical
is a
subclass
of
process
and
the organization
is a part of the organization
the other organization
,
then
the organization
inhibit
s
the kind of physical
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5285-5290
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
meat
,
then
a kind of organic object
is a
subclass
of
animal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4503-4509
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
malt
and
another kind of object
is a
subclass
of
cereal grain
,
then every
the other kind of object
is
initially
part
of a
cereal grass plant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4870-4881
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
oil from plant
and
another kind of object
is a
subclass
of
seed
or
the other kind of object
is a
subclass
of
fruit
,
then there exists
a third kind of object
such that
a third kind of object
is a
subclass
of
flowering plant
and every
the other kind of object
is
initially
part
of a
the third kind of object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 33334-33341
If
an object
can be an argument to
a relation
and
the object
is an
instance
of
the object
C and the number 1 argument of
the relation
is an
instance
of
another class
,
then
the object
C is
equal
to
the other class
or
the object
C is a
subclass
of
the other class
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4201-4225
If
toxic and infectious substance
is an
attribute
of
an object
and
the object
is an
instance
of
substance
or
the object
is an
instance
of
microorganism
,
then there exist
an agent
,
a process
,, ,
another process
and
a third kind of process
such that
the agent
is an
instance
of
human
or
the agent
is an
instance
of
animal
and
the object
is
near
to
the agent
and
the process
is an
instance
of
inhaling
or
the process
is an
instance
of
ingesting
or
the process
is an
instance
of
touching
and
the agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the process
cause
s
the other process
and
the agent
is a
patient
of
the other process
and
the other process
is an
instance
of
a third kind of process
and
the object
is
capable
of doing
the third kind of process
as a
resource
and
the third kind of process
is a
subclass
of
injuring
or
the third kind of process
is a
subclass
of
death
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1489-1502
If
duty free
is an
attribute
of
an object
and
the object
is an
instance
of
store
,
then there exist
a geopolitical area
,
an entity
,, ,
another kind of object
and
a process
such that
the geopolitical area
is an
instance
of
geopolitical area
and
the object
is
located
at
the geopolitical area
and
another kind of object
is a
subclass
of
object
and
the other kind of object
is an
import
commodity type of
the geopolitical area
and
the entity
is an
instance
of
the other kind of object
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
and
the process
is
located
at
the object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25885-25895
If
a day
is a
birthdate
of
a human
and
the day
is an
instance
of the
day
a positive integer
of month the
month
a kind of month
,
then there exist
another kind of day
and
an integer
such that
the human
's
birthday
is
another kind of day
and
the other kind of day
is a
subclass
of
day
and
the integer
is an
instance
of
integer
and
the other kind of day
is
equal
to the
day
the positive integer
of month the
month
a kind of month
and
the integer
is
greater
than
another integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 215-221
If the number
a positive integer
argument of
a relation
is an
instance
of
a class
and the number
the positive integer
argument of
the relation
is an
instance
of
another class
,
then
the class
is a
subclass
of
the other class
or
the other class
is a
subclass
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3003-3008
If the number
a positive integer
argument of
a relation
is a
subclass
of
a class
and
the relation
is an
instance
of
predicate
and
the relation
@ROW,
then
the positive integer
th
element
of (@ROW) is a
subclass
of
the class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 238-244
If the number
a positive integer
argument of
a relation
is a
subclass
of
a class
and the number
the positive integer
argument of
the relation
is a
subclass
of
another class
,
then
the class
is a
subclass
of
the other class
or
the other class
is a
subclass
of
the class
No TPTP formula. May not be expressible in strict first order.
Media.kif 195-200
If
a kind of getting
is
equal
to
receiving
a
a kind of object
and
another kind of getting
is
equal
to
receiving
a
another kind of object
and
a kind of object
is a
subclass
of
another kind of object
,
then
a kind of getting
is a
subclass
of
another kind of getting
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5285-5290
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
meat
,
then
a kind of organic object
is a
subclass
of
animal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4870-4881
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
oil from plant
and
another kind of object
is a
subclass
of
seed
or
the other kind of object
is a
subclass
of
fruit
,
then there exists
a third kind of object
such that
a third kind of object
is a
subclass
of
flowering plant
and every
the other kind of object
is
initially
part
of a
the third kind of object
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5599-5606
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
object
,
then
a kind of organic object
is a
subclass
of
organism
or
the kind of organic object
is a
subclass
of
anatomical structure
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5373-5377
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
pelt
,
then
a kind of organic object
is a
subclass
of
skin
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5576-5585
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
wood product
and
another kind of object
is a
subclass
of
plant stem
,
then there exists
a third kind of object
such that
a third kind of object
is a
subclass
of
botanical tree
and every
the other kind of object
is
initially
part
of a
the third kind of object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1775-1783
If
a kind of object
is
equal
to the
attr
of
another kind of object
and
an attribute
and
a third object
is an
instance
of
a kind of object
,
then
the third object
is an
instance
of
another kind of object
and
the kind of object
is a
subclass
of
the other kind of object
and
the attribute
is an
attribute
of
the third object
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4177-4182
If
an object
is an
instance
of
Aegilops grass
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
diploid cell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4300-4305
If
an object
is an
instance
of
common wheat grass
and
the object
ELL is a
part
of
the object
and
the object
ELL is an
instance
of
the object
LASS,
then
the object
LASS is a
subclass
of
hexaploid cell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4330-4335
If
an object
is an
instance
of
spelt wheat grass
and
the object
ELL is a
part
of
the object
and
the object
ELL is an
instance
of
the object
LASS,
then
the object
LASS is a
subclass
of
hexaploid cell
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12149-12161
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
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4241-4246
If
an object
is an
instance
of
durum wheat grass
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
tetraploid cell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4271-4276
If
an object
is an
instance
of
einkorn wheat grass
and
another object
is a
part
of
the object
and
the object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
diploid cell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4209-4214
If
an object
is an
instance
of
emmer wheat grass
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
tetraploid cell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4285-4290
If
an object
is an
instance
of
Triticum urartu
and
another object
is a
part
of
the object
and
the object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
diploid cell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5827-5835
If
a process
is an
instance
of
felling
and
an entity
is a
result
of
the process
,
then there exists
the entity
TEM such that
the entity
is an
instance
of a
dead
the entity
TEM and
the entity
TEM is a
subclass
of
plant stem
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19655-19663
If
a process
is an
instance
of
harvesting
and
an entity
is a
result
of
the process
,
then there exists
the entity
RG such that
the entity
is an
instance
of a
dead
the entity
RG and
the entity
RG is a
subclass
of
organic object
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3508-3537
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Military.kif 963-974
The
fit
for military service male of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
Cars.kif 5170-5173
There exists
a kind of object
such that
a kind of object
is a
subclass
of
tool box
and the maker of
the kind of object
is
Sortimo Corporation
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1327-1327
Air-to-air missile
is a
subclass
of
air attack missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1326-1326
Air-to-air missile
is a
subclass
of
air launch missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1328-1328
Air-to-air missile
is a
subclass
of
guided missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1804-1804
Amphibious Assault Vehicle
is a
subclass
of
amphibious vehicle
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1803-1803
Amphibious Assault Vehicle
is a
subclass
of
military vehicle
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1805-1805
Amphibious Assault Vehicle
is a
subclass
of
passenger vehicle
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1806-1806
Amphibious Assault Vehicle
is a
subclass
of
powered vehicle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 778-778
A branch of dorsal primary division of suboccipital nerve
is a
subclass
of
nerve
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28256-28256
Ac power source
is a
subclass
of
power source
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3294-3294
Attention deficit hyperactivity disorder
is a
subclass
of
psychological dysfunction
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1280-1280
AG m
is a
subclass
of
air launch missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1281-1281
AG m
is a
subclass
of
ground attack missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1360-1360
AG m114
is a
subclass
of
AG m
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1362-1362
AG m114
is a
subclass
of
anti armor weapon
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1361-1361
AG m114
is a
subclass
of
beam ridingG missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1293-1293
AG m65
is a
subclass
of
AG m
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1295-1295
AG m65
is a
subclass
of
anti armor weapon
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1294-1294
AG m65
is a
subclass
of
infra redG missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 2046-2046
A h1
is a
subclass
of
helicopter
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 2047-2047
A h1
is a
subclass
of
military vehicle
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1334-1334
AI m9
is a
subclass
of
air-to-air missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1335-1335
AI m9
is a
subclass
of
infra redG missile
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 2287-2287
M113A4 Armored Medical Evacuation Vehicle
is a
subclass
of
ambulance
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 2286-2286
M113A4 Armored Medical Evacuation Vehicle
is a
subclass
of
land vehicle
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 2285-2285
M113A4 Armored Medical Evacuation Vehicle
is a
subclass
of
military vehicle
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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
RadiatingSound