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
member
Sigma KEE - member
member
appearance as argument number 1
(
documentation
member
ChineseLanguage
"这是对属于
Collection
相同部分的专业常识概念。例如: 羊群中的每只羊,跟羊群间,是成员关系。")
chinese_format.kif 1633-1634
(
documentation
member
EnglishLanguage
"A specialized common sense notion of part for uniform parts of
Collection
s. For example, each sheep in a flock of sheep would have the relationship of member to the flock.")
Merge.kif 1181-1183
(
domain
member
1
Object
)
Merge.kif 1176-1176
(
domain
member
2
Collection
)
Merge.kif 1177-1177
(
instance
member
AsymmetricRelation
)
Merge.kif 1173-1173
(
instance
member
BinaryPredicate
)
Merge.kif 1174-1174
(
instance
member
IntransitiveRelation
)
Merge.kif 1175-1175
(
relatedInternalConcept
member
element
)
Merge.kif 1179-1179
(
relatedInternalConcept
member
instance
)
Merge.kif 1178-1178
appearance as argument number 2
(
format
ChineseLanguage
member
"%1 %n 是 %2 的
member
")
chinese_format.kif 153-153
(
format
EnglishLanguage
member
"%1 is %n a
member
of %2")
english_format.kif 157-157
(
subrelation
associateInOrganization
member
)
Government.kif 2367-2367
(
subrelation
groupMember
member
)
Mid-level-ontology.kif 7244-7244
(
subrelation
student
member
)
Mid-level-ontology.kif 14416-14416
(
subrelation
teacher
member
)
Mid-level-ontology.kif 14447-14447
(
termFormat
ChineseLanguage
member
"会员")
domainEnglishFormat.kif 36985-36985
(
termFormat
ChineseLanguage
member
"组员")
chinese_format.kif 154-154
(
termFormat
ChineseTraditionalLanguage
member
"會員")
domainEnglishFormat.kif 36984-36984
(
termFormat
EnglishLanguage
member
"member")
domainEnglishFormat.kif 36983-36983
antecedent
(<=>
(
member
?PART
InternationalRedCrossAndRedCrescentMovement
)
(
member
?PART
InternationalFederationOfRedCrossAndRedCrescentSocieties
))
Government.kif 3534-3536
(=>
(
and
(
ABPFn
?BUYINGS)
(
member
?BUYING ?BUYINGS))
(
instance
?BUYING
Buying
))
UXExperimentalTerms.kif 3438-3442
(=>
(
and
(
ASPFn
?SELLINGS)
(
member
?SELLING ?SELLINGS))
(
instance
?SELLING
Selling
))
UXExperimentalTerms.kif 3481-3485
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 501-505
(=>
(
and
(
businessUnit
?ORG ?BUSINESS)
(
member
?MEMBER ?ORG))
(
instance
?MEMBER
Human
))
UXExperimentalTerms.kif 2786-2790
(=>
(
and
(
crossFunctionalTeamFocus
?FOCUS ?TEAM)
(
member
?MEMBER ?TEAM))
(
inScopeOfInterest
?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2866-2870
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4247-4251
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3739-3748
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
Agent
))
UXExperimentalTerms.kif 3733-3737
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3750-3760
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3787-3796
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
Agent
))
UXExperimentalTerms.kif 3781-3785
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3798-3808
(=>
(
and
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
instance
?PRODUCT ?PRODUCTTYPE)
(
member
?OBJ ?PRODUCT))
(
instance
?OBJ
ContentBearingPhysical
))
Media.kif 3177-3182
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7252-7259
(=>
(
and
(
instance
?AGENT
Agent
)
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
attribute
?AGENT
(
MemberFn
?ORG)))
Government.kif 1721-1726
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
instance
?SHIP
MerchantMarineShip
))
Transportation.kif 961-965
(=>
(
and
(
instance
?AREA
Nation
)
(
member
?AREA
EuropeanMonetaryUnion
))
(
currencyType
?AREA
EuroDollar
))
Government.kif 3154-3158
(=>
(
and
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT)
(
instance
?AGENT
GroupOfPeople
)
(
member
?MEMBER ?AGENT))
(
exists
(?ARREST1)
(
and
(
instance
?ARREST1
PlacingUnderArrest
)
(
arrested
?ARREST1 ?MEMBER)
(
subProcess
?ARREST1 ?ARREST))))
Mid-level-ontology.kif 21449-21459
(=>
(
and
(
instance
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?AUCTION
Auctioning
)
(
member
?AUCTION ?AUCTIONS)
(
transactionAmount
?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3406-3421
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?ITEM ?BUYING))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3444-3464
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 20235-20243
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
(=>
(
and
(
instance
?CATEG
WebListingCategory
)
(
instance
?LISTING1
WebListing
)
(
instance
?LISTING2
WebListing
)
(
instance
?ITEM1
Object
)
(
instance
?ITEM2
Object
)
(
member
?LISTING1 ?CATEG)
(
member
?LISTING2 ?CATEG)
(
patient
?ITEM1 ?LISTING1)
(
patient
?ITEM2 ?LISTING2))
(
exists
(?CLASS)
(
and
(
instance
?CLASS
Class
)
(
instance
?ITEM1 ?CLASS)
(
instance
?ITEM2 ?CLASS))))
UXExperimentalTerms.kif 182-197
(=>
(
and
(
instance
?CATEG
WebListingCategory
)
(
member
?LISTING ?CATEG))
(
instance
?LISTING
WebListing
))
UXExperimentalTerms.kif 176-180
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
attribute
?INDIVIDUAL ?CH)
(
instance
?CH
Christian
))
(
member
?INDIVIDUAL
Christianity
))
People.kif 797-801
(<=>
(
attribute
?I
(
BeliefGroupMemberFn
?BG))
(
member
?I ?BG))
People.kif 678-680
(<=>
(
attribute
?INDIVIDUAL
Agnostic
)
(
member
?INDIVIDUAL
Agnosticism
))
People.kif 704-706
(<=>
(
attribute
?INDIVIDUAL
AhmadiyyaMuslim
)
(
member
?INDIVIDUAL
AhmadiyyaSect
))
People.kif 1349-1351
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
Anglicanism
))
People.kif 1227-1229
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
ChurchOfEngland
))
People.kif 1235-1237
(<=>
(
attribute
?INDIVIDUAL
Atheist
)
(
member
?INDIVIDUAL
Atheism
))
People.kif 722-724
(<=>
(
attribute
?INDIVIDUAL
Bahai
)
(
member
?INDIVIDUAL
Bahaism
))
People.kif 759-761
(<=>
(
attribute
?INDIVIDUAL
Buddhist
)
(
member
?INDIVIDUAL
Buddhism
))
People.kif 771-773
(<=>
(
attribute
?INDIVIDUAL
Confucianist
)
(
member
?INDIVIDUAL
Confucianism
))
People.kif 1308-1310
(<=>
(
attribute
?INDIVIDUAL
DruzeMuslim
)
(
member
?INDIVIDUAL
DruzeSect
))
People.kif 1363-1365
(<=>
(
attribute
?INDIVIDUAL
EasternOrthodoxChristian
)
(
member
?INDIVIDUAL
EasternOrthodoxChristianity
))
People.kif 1249-1251
(<=>
(
attribute
?INDIVIDUAL
Hindu
)
(
member
?INDIVIDUAL
Hinduism
))
People.kif 1320-1322
(<=>
(
attribute
?INDIVIDUAL
Jain
)
(
member
?INDIVIDUAL
Jainism
))
People.kif 1413-1415
(<=>
(
attribute
?INDIVIDUAL
Muslim
)
(
member
?INDIVIDUAL
Islam
))
People.kif 1332-1334
(<=>
(
attribute
?INDIVIDUAL
Neopaganismist
)
(
member
?INDIVIDUAL
Neopaganism
))
People.kif 1459-1461
(<=>
(
attribute
?INDIVIDUAL
Protestant
)
(
member
?INDIVIDUAL
Protestantism
))
People.kif 1263-1265
(<=>
(
attribute
?INDIVIDUAL
ReligiousJew
)
(
member
?INDIVIDUAL
Judaism
))
People.kif 1430-1432
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicChurch
))
People.kif 1285-1287
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicism
))
People.kif 1277-1279
(<=>
(
attribute
?INDIVIDUAL
ShiaMuslim
)
(
member
?INDIVIDUAL
ShiiteSect
))
People.kif 1379-1381
(<=>
(
attribute
?INDIVIDUAL
Shintoist
)
(
member
?INDIVIDUAL
Shinto
))
People.kif 1474-1476
(<=>
(
attribute
?INDIVIDUAL
Sikh
)
(
member
?INDIVIDUAL
Sikhism
))
People.kif 1489-1491
(<=>
(
attribute
?INDIVIDUAL
SunniMuslim
)
(
member
?INDIVIDUAL
SunniSect
))
People.kif 1398-1400
(<=>
(
attribute
?INDIVIDUAL
Taoist
)
(
member
?INDIVIDUAL
Taoism
))
People.kif 1504-1506
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1972-1980
(
not
(
member
Denmark
EuropeanMonetaryUnion
))
Government.kif 3150-3150
(
not
(
member
Sweden
EuropeanMonetaryUnion
))
Government.kif 3151-3151
(
not
(
member
UnitedKingdom
EuropeanMonetaryUnion
))
Government.kif 3152-3152
appearance as argument number 0
(
member
Austria
EuropeanMonetaryUnion
)
Government.kif 3130-3130
(
member
BakerIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2588-2588
(
member
Belgium
BeneluxEconomicUnion
)
Government.kif 2834-2834
(
member
Belgium
EuropeanMonetaryUnion
)
Government.kif 3131-3131
(
member
Cyprus
EuropeanMonetaryUnion
)
Government.kif 3132-3132
(
member
Estonia
EuropeanMonetaryUnion
)
Government.kif 3133-3133
(
member
Finland
EuropeanMonetaryUnion
)
Government.kif 3134-3134
(
member
France
EuropeanMonetaryUnion
)
Government.kif 3135-3135
(
member
Germany
EuropeanMonetaryUnion
)
Government.kif 3136-3136
(
member
Greece
EuropeanMonetaryUnion
)
Government.kif 3137-3137
(
member
HowlandIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2589-2589
(
member
Ireland
EuropeanMonetaryUnion
)
Government.kif 3138-3138
(
member
Italy
EuropeanMonetaryUnion
)
Government.kif 3139-3139
(
member
JarvisIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2590-2590
(
member
JohnstonAtoll
UnitedStatesMinorOutlyingIslands
)
Media.kif 2595-2595
(
member
KingmanReef
UnitedStatesMinorOutlyingIslands
)
Media.kif 2591-2591
(
member
Latvia
EuropeanMonetaryUnion
)
Government.kif 3140-3140
(
member
Lithuania
EuropeanMonetaryUnion
)
Government.kif 3141-3141
(
member
Luxembourg
BeneluxEconomicUnion
)
Government.kif 2836-2836
(
member
Luxembourg
EuropeanMonetaryUnion
)
Government.kif 3142-3142
(
member
Malta
EuropeanMonetaryUnion
)
Government.kif 3143-3143
(
member
MidwayIslands
UnitedStatesMinorOutlyingIslands
)
Media.kif 2596-2596
(
member
NavassaIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2592-2592
(
member
Netherlands
BeneluxEconomicUnion
)
Government.kif 2835-2835
(
member
Netherlands
EuropeanMonetaryUnion
)
Government.kif 3144-3144
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