Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
abstractPart
Sigma KEE - abstractPart
abstractPart
appearance as argument number 1
(
documentation
abstractPart
EnglishLanguage
"A meronymy relation similar to
part
, but for abstract rather than physical things.")
Mid-level-ontology.kif 22790-22791
(
domain
abstractPart
1
Abstract
)
Mid-level-ontology.kif 22795-22795
The number 1 argument of
abstract part
is an
instance
of
abstract
(
domain
abstractPart
2
Abstract
)
Mid-level-ontology.kif 22796-22796
The number 2 argument of
abstract part
is an
instance
of
abstract
(
instance
abstractPart
BinaryPredicate
)
Mid-level-ontology.kif 22794-22794
abstract part
is an
instance
of
binary predicate
(
instance
abstractPart
PartialOrderingRelation
)
Mid-level-ontology.kif 22793-22793
abstract part
is an
instance
of
partial ordering relation
appearance as argument number 2
(
format
EnglishLanguage
abstractPart
"%1 is %n a
part
of %2")
Mid-level-ontology.kif 22797-22797
(
termFormat
ChineseLanguage
abstractPart
"抽象的部分")
domainEnglishFormat.kif 5184-5184
(
termFormat
ChineseTraditionalLanguage
abstractPart
"抽象的部分")
domainEnglishFormat.kif 5183-5183
(
termFormat
EnglishLanguage
abstractPart
"abstract part")
domainEnglishFormat.kif 5182-5182
(
termFormat
EnglishLanguage
abstractPart
"part")
Mid-level-ontology.kif 22792-22792
antecedent
(=>
(
and
(
instance
?POLE
MultipolePole
)
(
abstractPart
?POLE ?MULTIPOLE))
(
exists
(?SECTION)
(
and
(
instance
?SECTION
MultipoleSection
)
(
abstractPart
?POLE ?SECTION)
(
abstractPart
?SECTION ?MULTIPOLE))))
engineering.kif 391-399
If
an abstract
is an
instance
of
multipole pole
and
the abstract
is a
part
of
another abstract
,
then there exists
a third abstract
such that
the third abstract
is an
instance
of
multipole section
and
the abstract
is a
part
of
the third abstract
and
the third abstract
is a
part
of
the other abstract
consequent
(=>
(
and
(
instance
?POLE
MultipolePole
)
(
abstractPart
?POLE ?MULTIPOLE))
(
exists
(?SECTION)
(
and
(
instance
?SECTION
MultipoleSection
)
(
abstractPart
?POLE ?SECTION)
(
abstractPart
?SECTION ?MULTIPOLE))))
engineering.kif 391-399
If
an abstract
is an
instance
of
multipole pole
and
the abstract
is a
part
of
another abstract
,
then there exists
a third abstract
such that
the third abstract
is an
instance
of
multipole section
and
the abstract
is a
part
of
the third abstract
and
the third abstract
is a
part
of
the other abstract
(=>
(
instance
?MULTIPOLE
Multipole
)
(
exists
(?SECTION)
(
and
(
instance
?SECTION
MultipoleSection
)
(
abstractPart
?SECTION ?MULTIPOLE))))
engineering.kif 436-441
If
an abstract
is an
instance
of
multipole
,
then there exists
another abstract
such that
the other abstract
is an
instance
of
multipole section
and
the other abstract
is a
part
of
the abstract
(=>
(
instance
?ONT
Ontology
)
(
exists
(?TAX)
(
and
(
instance
?TAX
Taxonomy
)
(
abstractPart
?TAX ?ONT))))
Mid-level-ontology.kif 22809-22814
If
an abstract
is an
instance
of
ontology
,
then there exists
another abstract
such that
the other abstract
is an
instance
of
taxonomy
and
the other abstract
is a
part
of
the abstract
(=>
(
instance
?PORT
MultipolePort
)
(
not
(
exists
(?POLE1 ?POLE2 ?POLE3)
(
and
(
instance
?POLE1
MultipolePole
)
(
instance
?POLE2
MultipolePole
)
(
instance
?POLE3
MultipolePole
)
(
abstractPart
?POLE1 ?PORT)
(
abstractPart
?POLE2 ?PORT)
(
abstractPart
?POLE3 ?PORT)
(
not
(
equal
?POLE1 ?POLE2))
(
not
(
equal
?POLE2 ?POLE3))
(
not
(
equal
?POLE1 ?POLE3))))))
engineering.kif 461-473
If
an abstract
is an
instance
of
multipole port
,
then there don't exist
another abstract
,
a third abstract
and
a fourth abstract
such that
the other abstract
is an
instance
of
multipole pole
and
the third abstract
is an
instance
of
multipole pole
and
the fourth abstract
is an
instance
of
multipole pole
and
the other abstract
is a
part
of
the abstract
and
the third abstract
is a
part
of
the abstract
and
the fourth abstract
is a
part
of
the abstract
and
the other abstract
is not
equal
to
the third abstract
and
the third abstract
is not
equal
to
the fourth abstract
and
the other abstract
is not
equal
to
the fourth abstract
(=>
(
instance
?SECTION
MultipoleSection
)
(
exists
(?POLE1 ?POLE2)
(
and
(
instance
?POLE1
MultipolePole
)
(
instance
?POLE2
MultipolePole
)
(
abstractPart
?POLE1 ?SECTION)
(
abstractPart
?POLE2 ?SECTION)
(
not
(
equal
?POLE1 ?POLE2)))))
engineering.kif 444-452
If
an abstract
is an
instance
of
multipole section
,
then there exist
another abstract
and
a third abstract
such that
the other abstract
is an
instance
of
multipole pole
and
the third abstract
is an
instance
of
multipole pole
and
the other abstract
is a
part
of
the abstract
and
the third abstract
is a
part
of
the abstract
and
the other abstract
is not
equal
to
the third abstract
(=>
(
instance
?TWOPOLE
Twopole
)
(
exists
(?PORT)
(
and
(
instance
?PORT
MultipolePort
)
(
abstractPart
?PORT ?TWOPOLE)
(
not
(
exists
(?SECTION)
(
and
(
instance
?SECTION
MultipoleSection
)
(
abstractPart
?SECTION ?TWOPOLE)
(
not
(
equal
?SECTION ?PORT))))))))
engineering.kif 480-492
If
an abstract
is an
instance
of
twopole
,
then there exists
another abstract
such that
the other abstract
is an
instance
of
multipole port
and
the other abstract
is a
part
of
the abstract
and there doesn't exist
a third abstract
such that
the third abstract
is an
instance
of
multipole section
and
the third abstract
is a
part
of
the abstract
and
the third abstract
is not
equal
to
the other abstract
(=>
(
recordForAgreement
?CBP ?A)
(
not
(
exists
(?P)
(
and
(
not
(
equal
?P ?A))
(
not
(
abstractPart
?P ?A))
(
containsInformation
?CBP ?P)))))
Law.kif 504-513
If
a content bearing physical
is the
record
of
an agreement
,
then there doesn't exist
a proposition
such that
the proposition
is not
equal
to
the agreement
and
the proposition
is not a
part
of
the agreement
and
the content bearing physical
contain
s information
the proposition
appearance as argument number 0
(
abstractPart
NewtonsFirstLaw
NewtonsLaw
)
engineering.kif 1250-1250
Newtons first law
is a
part
of
newtons law
(
abstractPart
NewtonsSecondLaw
NewtonsLaw
)
engineering.kif 1257-1257
Newtons second law
is a
part
of
newtons law
(
abstractPart
NewtonsThirdLaw
NewtonsLaw
)
engineering.kif 1262-1262
Newtons third law
is a
part
of
newtons law
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