Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 1242-1244
(
domain
member
1
Physical
)
Merge.kif 1237-1237
(
domain
member
2
Collection
)
Merge.kif 1238-1238
(
instance
member
AsymmetricRelation
)
Merge.kif 1234-1234
(
instance
member
BinaryPredicate
)
Merge.kif 1235-1235
(
instance
member
IntransitiveRelation
)
Merge.kif 1236-1236
(
relatedInternalConcept
member
element
)
Merge.kif 1240-1240
(
relatedInternalConcept
member
instance
)
Merge.kif 1239-1239
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 154-154
(
subrelation
associateInOrganization
member
)
Government.kif 2423-2423
(
subrelation
groupMember
member
)
Mid-level-ontology.kif 7234-7234
(
subrelation
student
member
)
Mid-level-ontology.kif 16235-16235
(
subrelation
teacher
member
)
Mid-level-ontology.kif 16306-16306
(
termFormat
ChineseLanguage
member
"会员")
domainEnglishFormat.kif 36978-36978
(
termFormat
ChineseLanguage
member
"组员")
chinese_format.kif 154-154
(
termFormat
ChineseTraditionalLanguage
member
"會員")
domainEnglishFormat.kif 36977-36977
(
termFormat
EnglishLanguage
member
"member")
domainEnglishFormat.kif 36976-36976
antecedent
(<=>
(
member
?PART
InternationalRedCrossAndRedCrescentMovement
)
(
member
?PART
InternationalFederationOfRedCrossAndRedCrescentSocieties
))
Government.kif 3595-3597
(=>
(
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 2789-2793
(=>
(
and
(
crossFunctionalTeamFocus
?FOCUS ?TEAM)
(
member
?MEMBER ?TEAM))
(
inScopeOfInterest
?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2869-2873
(=>
(
and
(
equal
?X
(
ABPFn
?BUYINGS))
(
member
?BUYING ?BUYINGS))
(
instance
?BUYING
Buying
))
UXExperimentalTerms.kif 3441-3445
(=>
(
and
(
equal
?X
(
ASPFn
?SELLINGS))
(
member
?SELLING ?SELLINGS))
(
instance
?SELLING
Selling
))
UXExperimentalTerms.kif 3484-3488
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4250-4254
(=>
(
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 3742-3751
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
Agent
))
UXExperimentalTerms.kif 3736-3740
(=>
(
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 3753-3763
(=>
(
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 3790-3799
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
Agent
))
UXExperimentalTerms.kif 3784-3788
(=>
(
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 3801-3811
(=>
(
and
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
instance
?PRODUCT ?PRODUCTTYPE)
(
member
?OBJ ?PRODUCT))
(
instance
?OBJ
ContentBearingPhysical
))
Media.kif 3195-3200
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7242-7249
(=>
(
and
(
instance
?AGENT
Agent
)
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
attribute
?AGENT
(
MemberFn
?ORG)))
Government.kif 1764-1769
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
instance
?SHIP
MerchantMarineShip
))
Transportation.kif 972-976
(=>
(
and
(
instance
?AREA
Nation
)
(
member
?AREA
EuropeanMonetaryUnion
))
(
currencyType
?AREA
EuroDollar
))
Government.kif 3215-3219
(=>
(
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 22941-22951
(=>
(
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 3409-3424
(=>
(
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 3447-3467
(=>
(
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 21828-21836
(=>
(
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
(<=>
(
attribute
?I
(
BeliefGroupMemberFn
?BG))
(
member
?I ?BG))
People.kif 686-688
(<=>
(
attribute
?INDIVIDUAL
Agnostic
)
(
member
?INDIVIDUAL
Agnosticism
))
People.kif 712-714
(<=>
(
attribute
?INDIVIDUAL
AhmadiyyaMuslim
)
(
member
?INDIVIDUAL
AhmadiyyaSect
))
People.kif 1357-1359
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
Anglicanism
))
People.kif 1235-1237
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
ChurchOfEngland
))
People.kif 1243-1245
(<=>
(
attribute
?INDIVIDUAL
Atheist
)
(
member
?INDIVIDUAL
Atheism
))
People.kif 730-732
(<=>
(
attribute
?INDIVIDUAL
Bahai
)
(
member
?INDIVIDUAL
Bahaism
))
People.kif 767-769
(<=>
(
attribute
?INDIVIDUAL
Buddhist
)
(
member
?INDIVIDUAL
Buddhism
))
People.kif 779-781
(<=>
(
attribute
?INDIVIDUAL
Confucianist
)
(
member
?INDIVIDUAL
Confucianism
))
People.kif 1316-1318
(<=>
(
attribute
?INDIVIDUAL
DruzeMuslim
)
(
member
?INDIVIDUAL
DruzeSect
))
People.kif 1371-1373
(<=>
(
attribute
?INDIVIDUAL
EasternOrthodoxChristian
)
(
member
?INDIVIDUAL
EasternOrthodoxChristianity
))
People.kif 1257-1259
(<=>
(
attribute
?INDIVIDUAL
Hindu
)
(
member
?INDIVIDUAL
Hinduism
))
People.kif 1328-1330
(<=>
(
attribute
?INDIVIDUAL
Jain
)
(
member
?INDIVIDUAL
Jainism
))
People.kif 1421-1423
(<=>
(
attribute
?INDIVIDUAL
Muslim
)
(
member
?INDIVIDUAL
Islam
))
People.kif 1340-1342
(<=>
(
attribute
?INDIVIDUAL
Neopaganismist
)
(
member
?INDIVIDUAL
Neopaganism
))
People.kif 1467-1469
(<=>
(
attribute
?INDIVIDUAL
Protestant
)
(
member
?INDIVIDUAL
Protestantism
))
People.kif 1271-1273
(<=>
(
attribute
?INDIVIDUAL
ReligiousJew
)
(
member
?INDIVIDUAL
Judaism
))
People.kif 1438-1440
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicChurch
))
People.kif 1293-1295
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicism
))
People.kif 1285-1287
(<=>
(
attribute
?INDIVIDUAL
ShiaMuslim
)
(
member
?INDIVIDUAL
ShiiteSect
))
People.kif 1387-1389
(<=>
(
attribute
?INDIVIDUAL
Shintoist
)
(
member
?INDIVIDUAL
Shinto
))
People.kif 1482-1484
(<=>
(
attribute
?INDIVIDUAL
Sikh
)
(
member
?INDIVIDUAL
Sikhism
))
People.kif 1497-1499
(<=>
(
attribute
?INDIVIDUAL
SunniMuslim
)
(
member
?INDIVIDUAL
SunniSect
))
People.kif 1406-1408
(<=>
(
attribute
?INDIVIDUAL
Taoist
)
(
member
?INDIVIDUAL
Taoism
))
People.kif 1512-1514
(<=>
(
attribute
?INDIVIDUAL
Zoroastrian
)
(
member
?INDIVIDUAL
Zoroastrianism
))
People.kif 1527-1529
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 1968-1976
(
not
(
member
Denmark
EuropeanMonetaryUnion
))
Government.kif 3211-3211
(
not
(
member
Sweden
EuropeanMonetaryUnion
))
Government.kif 3212-3212
(
not
(
member
UnitedKingdom
EuropeanMonetaryUnion
))
Government.kif 3213-3213
appearance as argument number 0
(
member
Austria
EuropeanMonetaryUnion
)
Government.kif 3191-3191
(
member
BakerIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2606-2606
(
member
Belgium
BeneluxEconomicUnion
)
Government.kif 2895-2895
(
member
Belgium
EuropeanMonetaryUnion
)
Government.kif 3192-3192
(
member
Cyprus
EuropeanMonetaryUnion
)
Government.kif 3193-3193
(
member
Estonia
EuropeanMonetaryUnion
)
Government.kif 3194-3194
(
member
Finland
EuropeanMonetaryUnion
)
Government.kif 3195-3195
(
member
France
EuropeanMonetaryUnion
)
Government.kif 3196-3196
(
member
Germany
EuropeanMonetaryUnion
)
Government.kif 3197-3197
(
member
Greece
EuropeanMonetaryUnion
)
Government.kif 3198-3198
(
member
HowlandIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2607-2607
(
member
Ireland
EuropeanMonetaryUnion
)
Government.kif 3199-3199
(
member
Italy
EuropeanMonetaryUnion
)
Government.kif 3200-3200
(
member
JarvisIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2608-2608
(
member
JohnstonAtoll
UnitedStatesMinorOutlyingIslands
)
Media.kif 2613-2613
(
member
KingmanReef
UnitedStatesMinorOutlyingIslands
)
Media.kif 2609-2609
(
member
Latvia
EuropeanMonetaryUnion
)
Government.kif 3201-3201
(
member
Lithuania
EuropeanMonetaryUnion
)
Government.kif 3202-3202
(
member
Luxembourg
BeneluxEconomicUnion
)
Government.kif 2897-2897
(
member
Luxembourg
EuropeanMonetaryUnion
)
Government.kif 3203-3203
(
member
Malta
EuropeanMonetaryUnion
)
Government.kif 3204-3204
(
member
MidwayIslands
UnitedStatesMinorOutlyingIslands
)
Media.kif 2614-2614
(
member
NavassaIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2610-2610
(
member
Netherlands
BeneluxEconomicUnion
)
Government.kif 2896-2896
(
member
Netherlands
EuropeanMonetaryUnion
)
Government.kif 3205-3205
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