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 1273-1275
(
domain
member
1
Physical
)
Merge.kif 1268-1268
(
domain
member
2
Collection
)
Merge.kif 1269-1269
(
instance
member
AsymmetricRelation
)
Merge.kif 1265-1265
(
instance
member
BinaryPredicate
)
Merge.kif 1266-1266
(
instance
member
IntransitiveRelation
)
Merge.kif 1267-1267
(
relatedInternalConcept
member
element
)
Merge.kif 1271-1271
(
relatedInternalConcept
member
instance
)
Merge.kif 1270-1270
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 2426-2426
(
subrelation
groupMember
member
)
Mid-level-ontology.kif 7514-7514
(
subrelation
student
member
)
Mid-level-ontology.kif 16634-16634
(
subrelation
teacher
member
)
Mid-level-ontology.kif 16706-16706
(
termFormat
ChineseLanguage
member
"会员")
domainEnglishFormat.kif 36973-36973
(
termFormat
ChineseLanguage
member
"组员")
chinese_format.kif 154-154
(
termFormat
ChineseTraditionalLanguage
member
"會員")
domainEnglishFormat.kif 36972-36972
(
termFormat
EnglishLanguage
member
"member")
domainEnglishFormat.kif 36971-36971
antecedent
(<=>
(
member
?PART
InternationalRedCrossAndRedCrescentMovement
)
(
member
?PART
InternationalFederationOfRedCrossAndRedCrescentSocieties
))
Government.kif 3603-3605
(=>
(
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 2785-2789
(=>
(
and
(
crossFunctionalTeamFocus
?FOCUS ?TEAM)
(
member
?MEMBER ?TEAM))
(
inScopeOfInterest
?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2865-2869
(=>
(
and
(
equal
?X
(
ABPFn
?BUYINGS))
(
member
?BUYING ?BUYINGS))
(
instance
?BUYING
Buying
))
UXExperimentalTerms.kif 3437-3441
(=>
(
and
(
equal
?X
(
ASPFn
?SELLINGS))
(
member
?SELLING ?SELLINGS))
(
instance
?SELLING
Selling
))
UXExperimentalTerms.kif 3482-3486
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4249-4253
(=>
(
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 3740-3749
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
AutonomousAgent
))
UXExperimentalTerms.kif 3734-3738
(=>
(
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 3751-3761
(=>
(
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 3788-3797
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
AutonomousAgent
))
UXExperimentalTerms.kif 3782-3786
(=>
(
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 3799-3809
(=>
(
and
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
instance
?PRODUCT ?PRODUCTTYPE)
(
member
?OBJ ?PRODUCT))
(
instance
?OBJ
ContentBearingPhysical
))
Media.kif 3207-3212
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7522-7529
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
attribute
?AGENT
(
MemberFn
?ORG)))
Government.kif 1767-1772
(=>
(
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 3223-3227
(=>
(
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 23444-23454
(=>
(
and
(
instance
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
exists
(?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
transactionAmount
?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3408-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
?BUYING ?ITEM))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3445-3465
(=>
(
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 22297-22305
(=>
(
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 702-704
(<=>
(
attribute
?INDIVIDUAL
Agnostic
)
(
member
?INDIVIDUAL
Agnosticism
))
People.kif 728-730
(<=>
(
attribute
?INDIVIDUAL
AhmadiyyaMuslim
)
(
member
?INDIVIDUAL
AhmadiyyaSect
))
People.kif 1373-1375
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
Anglicanism
))
People.kif 1251-1253
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
ChurchOfEngland
))
People.kif 1259-1261
(<=>
(
attribute
?INDIVIDUAL
Atheist
)
(
member
?INDIVIDUAL
Atheism
))
People.kif 746-748
(<=>
(
attribute
?INDIVIDUAL
Bahai
)
(
member
?INDIVIDUAL
Bahaism
))
People.kif 783-785
(<=>
(
attribute
?INDIVIDUAL
Buddhist
)
(
member
?INDIVIDUAL
Buddhism
))
People.kif 795-797
(<=>
(
attribute
?INDIVIDUAL
Confucianist
)
(
member
?INDIVIDUAL
Confucianism
))
People.kif 1332-1334
(<=>
(
attribute
?INDIVIDUAL
DruzeMuslim
)
(
member
?INDIVIDUAL
DruzeSect
))
People.kif 1387-1389
(<=>
(
attribute
?INDIVIDUAL
EasternOrthodoxChristian
)
(
member
?INDIVIDUAL
EasternOrthodoxChristianity
))
People.kif 1273-1275
(<=>
(
attribute
?INDIVIDUAL
Hindu
)
(
member
?INDIVIDUAL
Hinduism
))
People.kif 1344-1346
(<=>
(
attribute
?INDIVIDUAL
Jain
)
(
member
?INDIVIDUAL
Jainism
))
People.kif 1437-1439
(<=>
(
attribute
?INDIVIDUAL
Muslim
)
(
member
?INDIVIDUAL
Islam
))
People.kif 1356-1358
(<=>
(
attribute
?INDIVIDUAL
Neopaganismist
)
(
member
?INDIVIDUAL
Neopaganism
))
People.kif 1483-1485
(<=>
(
attribute
?INDIVIDUAL
Protestant
)
(
member
?INDIVIDUAL
Protestantism
))
People.kif 1287-1289
(<=>
(
attribute
?INDIVIDUAL
ReligiousJew
)
(
member
?INDIVIDUAL
Judaism
))
People.kif 1454-1456
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicChurch
))
People.kif 1309-1311
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicism
))
People.kif 1301-1303
(<=>
(
attribute
?INDIVIDUAL
ShiaMuslim
)
(
member
?INDIVIDUAL
ShiiteSect
))
People.kif 1403-1405
(<=>
(
attribute
?INDIVIDUAL
Shintoist
)
(
member
?INDIVIDUAL
Shinto
))
People.kif 1498-1500
(<=>
(
attribute
?INDIVIDUAL
Sikh
)
(
member
?INDIVIDUAL
Sikhism
))
People.kif 1513-1515
(<=>
(
attribute
?INDIVIDUAL
SunniMuslim
)
(
member
?INDIVIDUAL
SunniSect
))
People.kif 1422-1424
(<=>
(
attribute
?INDIVIDUAL
Taoist
)
(
member
?INDIVIDUAL
Taoism
))
People.kif 1528-1530
(<=>
(
attribute
?INDIVIDUAL
Zoroastrian
)
(
member
?INDIVIDUAL
Zoroastrianism
))
People.kif 1543-1545
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 1970-1978
(
not
(
member
Denmark
EuropeanMonetaryUnion
))
Government.kif 3219-3219
(
not
(
member
Sweden
EuropeanMonetaryUnion
))
Government.kif 3220-3220
(
not
(
member
UnitedKingdom
EuropeanMonetaryUnion
))
Government.kif 3221-3221
appearance as argument number 0
(
member
Austria
EuropeanMonetaryUnion
)
Government.kif 3199-3199
(
member
BakerIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2618-2618
(
member
Belgium
BeneluxEconomicUnion
)
Government.kif 2903-2903
(
member
Belgium
EuropeanMonetaryUnion
)
Government.kif 3200-3200
(
member
Cyprus
EuropeanMonetaryUnion
)
Government.kif 3201-3201
(
member
Estonia
EuropeanMonetaryUnion
)
Government.kif 3202-3202
(
member
Finland
EuropeanMonetaryUnion
)
Government.kif 3203-3203
(
member
France
EuropeanMonetaryUnion
)
Government.kif 3204-3204
(
member
Germany
EuropeanMonetaryUnion
)
Government.kif 3205-3205
(
member
Greece
EuropeanMonetaryUnion
)
Government.kif 3206-3206
(
member
HowlandIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2619-2619
(
member
Ireland
EuropeanMonetaryUnion
)
Government.kif 3207-3207
(
member
Italy
EuropeanMonetaryUnion
)
Government.kif 3208-3208
(
member
JarvisIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2620-2620
(
member
JohnstonAtoll
UnitedStatesMinorOutlyingIslands
)
Media.kif 2625-2625
(
member
KingmanReef
UnitedStatesMinorOutlyingIslands
)
Media.kif 2621-2621
(
member
Latvia
EuropeanMonetaryUnion
)
Government.kif 3209-3209
(
member
Lithuania
EuropeanMonetaryUnion
)
Government.kif 3210-3210
(
member
Luxembourg
BeneluxEconomicUnion
)
Government.kif 2905-2905
(
member
Luxembourg
EuropeanMonetaryUnion
)
Government.kif 3211-3211
(
member
Malta
EuropeanMonetaryUnion
)
Government.kif 3212-3212
(
member
MidwayIslands
UnitedStatesMinorOutlyingIslands
)
Media.kif 2626-2626
(
member
NavassaIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2622-2622
(
member
Netherlands
BeneluxEconomicUnion
)
Government.kif 2904-2904
(
member
Netherlands
EuropeanMonetaryUnion
)
Government.kif 3213-3213
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