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
The number 1 argument of
member
is an
instance
of
physical
(
domain
member
2
Collection
)
Merge.kif 1269-1269
The number 2 argument of
member
is an
instance
of
collection
(
instance
member
AsymmetricRelation
)
Merge.kif 1265-1265
member
is an
instance
of
asymmetric relation
(
instance
member
BinaryPredicate
)
Merge.kif 1266-1266
member
is an
instance
of
binary predicate
(
instance
member
IntransitiveRelation
)
Merge.kif 1267-1267
member
is an
instance
of
intransitive relation
(
relatedInternalConcept
member
element
)
Merge.kif 1271-1271
member
is
internally
related to
element
(
relatedInternalConcept
member
instance
)
Merge.kif 1270-1270
member
is
internally
related to
instance
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
associate in organization
is a
subrelation
of
member
(
subrelation
groupMember
member
)
Mid-level-ontology.kif 7514-7514
group member
is a
subrelation
of
member
(
subrelation
student
member
)
Mid-level-ontology.kif 16634-16634
student
is a
subrelation
of
member
(
subrelation
teacher
member
)
Mid-level-ontology.kif 16706-16706
teacher
is a
subrelation
of
member
(
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
A physical
is a
member
of
international red cross and red crescent movement
if and only if
the physical
is a
member
of
international federation of red cross and red crescent societies
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 501-505
If
high income country
is an
attribute
of
an agent
and
the agent
is not a
member
of
organization of petroleum exporting countries
,
then
developed country
is an
economy
type of
the agent
(=>
(
and
(
businessUnit
?ORG ?BUSINESS)
(
member
?MEMBER ?ORG))
(
instance
?MEMBER
Human
))
UXExperimentalTerms.kif 2785-2789
If
an organization
is a
business
unit of
a business
and
a physical
is a
member
of
the organization
,
then
the physical
is an
instance
of
human
(=>
(
and
(
crossFunctionalTeamFocus
?FOCUS ?TEAM)
(
member
?MEMBER ?TEAM))
(
inScopeOfInterest
?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2865-2869
If
a cross-functional team
works
on
an entity
and
a cognitive agent
is a
member
of
the cross-functional team
,
then
the cognitive agent
is
interested
in
the entity
(=>
(
and
(
equal
?X
(
ABPFn
?BUYINGS))
(
member
?BUYING ?BUYINGS))
(
instance
?BUYING
Buying
))
UXExperimentalTerms.kif 3437-3441
If
a currency measure
is
equal
to the
average
price
of
a collection
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
buying
(=>
(
and
(
equal
?X
(
ASPFn
?SELLINGS))
(
member
?SELLING ?SELLINGS))
(
instance
?SELLING
Selling
))
UXExperimentalTerms.kif 3482-3486
If
a currency measure
is
equal
to the
average
selling
price
of
a collection
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
selling
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4249-4253
If
a collection
are the
processes
in
an experimenting
and
a process
is a
member
of
the collection
,
then
the process
is a
process
in
the experimenting
(=>
(
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
If
a collection
are
first
time
buyers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
AutonomousAgent
))
UXExperimentalTerms.kif 3734-3738
If
a collection
are
first
time
buyers
on
a web site
during
a time interval
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
(=>
(
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
If
a collection
are
first
time
buyers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there doesn't exist
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
(=>
(
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
If
a collection
are
first
time
sellers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
selling
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
AutonomousAgent
))
UXExperimentalTerms.kif 3782-3786
If
a collection
are
first
time
sellers
on
a web site
during
a time interval
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
(=>
(
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
If
a collection
are
first
time
sellers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there doesn't exist
a financial transaction
such that
the financial transaction
is an
instance
of
selling
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
(=>
(
and
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
instance
?PRODUCT ?PRODUCTTYPE)
(
member
?OBJ ?PRODUCT))
(
instance
?OBJ
ContentBearingPhysical
))
Media.kif 3207-3212
If
a symbolic string
is the
title
in
a language
for instances of
a class
and
a collection
is an
instance
of
the class
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
content bearing physical
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7522-7529
If
an entity
is a
member
of
another entity
holds
during
a time position
and
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
group of people
,
then
the entity
is a
member
of
the other entity
holds
during
the time position
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
attribute
?AGENT
(
MemberFn
?ORG)))
Government.kif 1767-1772
If
an object
is an
instance
of
agent
and
an organization
is an
instance
of
organization
and
the object
is a
member
of
the organization
,
then the
member
of
the organization
is an
attribute
of
the object
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
instance
?SHIP
MerchantMarineShip
))
Transportation.kif 972-976
If
a geopolitical area
is an
instance
of
geopolitical area
and
a physical
is a
member
of the
merchant
marine of
the geopolitical area
,
then
the physical
is an
instance
of
merchant marine ship
(=>
(
and
(
instance
?AREA
Nation
)
(
member
?AREA
EuropeanMonetaryUnion
))
(
currencyType
?AREA
EuroDollar
))
Government.kif 3223-3227
If
a geopolitical area
is an
instance
of
nation
and
the geopolitical area
is a
member
of
european monetary union
,
then
euro dollar
is a
currency
type of
the geopolitical area
(=>
(
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
If
a placing under arrest
is an
instance
of
placing under arrest
and
an agent
is placed under arrest during
the placing under arrest
and
the agent
is an
instance
of
group of people
and
another agent
is a
member
of
the agent
,
then there exists
the placing under arrest
1 such that
the placing under arrest
1 is an
instance
of
placing under arrest
and
the other agent
is placed under arrest during
the placing under arrest
1 and
the placing under arrest
1 is a
subprocess
of
the placing under arrest
(=>
(
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
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
auctioning
,
then there exist
a symbolic string
and
an entity
_PURCHASE_AMOUNT such that the
total
of values in the
class
described by
the symbolic string
is
the entity
_PURCHASE_AMOUNT and the
total
purchase
price
of
the collection
is
equal
to
the entity
_PURCHASE_AMOUNT
(=>
(
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
If
a collection
is an
instance
of
collection
and
a real number
is an
instance
of
currency measure
and
an integer
is an
instance
of
real number
and
the real number
is
equal
to the
value
of
the collection
and
the integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
,
then the
average
price
of
the collection
is
equal
to
the real number
and
the integer
(=>
(
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
If
a collection
is an
instance
of
convoy
and
a physical
is a
member
of
the collection
,
then there exists
a process
such that
the process
is an
instance
of
driving
and the
time
of existence of
the collection
overlap
s the
time
of existence of
the process
and
the physical
is a
patient
of
the process
(=>
(
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
If
a collection
is an
instance
of
convoy
and
an agent
is a
member
of
the collection
and
another agent
is a
member
of
the collection
and
the agent
is not
equal
to
the other agent
,
then there exist
a process
,
another process
and
an entity
such that
the process
is an
instance
of
transportation
and
the other process
is an
instance
of
transportation
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the other process
and
the process
end
s up at
the entity
and
the other process
end
s up at
the entity
(=>
(
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
If
a collection
is an
instance
of
web listing category
and
a physical
is an
instance
of
web listing
and
another physical
is an
instance
of
web listing
and
a process
is an
instance
of
object
and
another process
is an
instance
of
object
and
the physical
is a
member
of
the collection
and
the other physical
is a
member
of
the collection
and
the physical
is a
patient
of
the process
and
the other physical
is a
patient
of
the other process
,
then there exists
a class
such that
the class
is an
instance
of
class
and
the process
is an
instance
of
the class
and
the other process
is an
instance
of
the class
(=>
(
and
(
instance
?CATEG
WebListingCategory
)
(
member
?LISTING ?CATEG))
(
instance
?LISTING
WebListing
))
UXExperimentalTerms.kif 176-180
If
a collection
is an
instance
of
web listing category
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web listing
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
A
member
of
a belief group
is an
attribute
of
an object
if and only if
the object
is a
member
of
the belief group
(<=>
(
attribute
?INDIVIDUAL
Agnostic
)
(
member
?INDIVIDUAL
Agnosticism
))
People.kif 728-730
Agnostic
is an
attribute
of
an object
if and only if
the object
is a
member
of
agnosticism
(<=>
(
attribute
?INDIVIDUAL
AhmadiyyaMuslim
)
(
member
?INDIVIDUAL
AhmadiyyaSect
))
People.kif 1373-1375
Ahmadiyya muslim
is an
attribute
of
an object
if and only if
the object
is a
member
of
ahmadiyya sect
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
Anglicanism
))
People.kif 1251-1253
Anglican
is an
attribute
of
an object
if and only if
the object
is a
member
of
anglicanism
(<=>
(
attribute
?INDIVIDUAL
Anglican
)
(
member
?INDIVIDUAL
ChurchOfEngland
))
People.kif 1259-1261
Anglican
is an
attribute
of
an object
if and only if
the object
is a
member
of
church of england
(<=>
(
attribute
?INDIVIDUAL
Atheist
)
(
member
?INDIVIDUAL
Atheism
))
People.kif 746-748
Atheist
is an
attribute
of
an object
if and only if
the object
is a
member
of
atheism
(<=>
(
attribute
?INDIVIDUAL
Bahai
)
(
member
?INDIVIDUAL
Bahaism
))
People.kif 783-785
Bahai
is an
attribute
of
an object
if and only if
the object
is a
member
of
bahaism
(<=>
(
attribute
?INDIVIDUAL
Buddhist
)
(
member
?INDIVIDUAL
Buddhism
))
People.kif 795-797
Buddhist
is an
attribute
of
an object
if and only if
the object
is a
member
of
buddhism
(<=>
(
attribute
?INDIVIDUAL
Confucianist
)
(
member
?INDIVIDUAL
Confucianism
))
People.kif 1332-1334
Confucianist
is an
attribute
of
an object
if and only if
the object
is a
member
of
confucianism
(<=>
(
attribute
?INDIVIDUAL
DruzeMuslim
)
(
member
?INDIVIDUAL
DruzeSect
))
People.kif 1387-1389
Druze muslim
is an
attribute
of
an object
if and only if
the object
is a
member
of
druze sect
(<=>
(
attribute
?INDIVIDUAL
EasternOrthodoxChristian
)
(
member
?INDIVIDUAL
EasternOrthodoxChristianity
))
People.kif 1273-1275
Eastern orthodox christian
is an
attribute
of
an object
if and only if
the object
is a
member
of
eastern orthodox christianity
(<=>
(
attribute
?INDIVIDUAL
Hindu
)
(
member
?INDIVIDUAL
Hinduism
))
People.kif 1344-1346
Hindu
is an
attribute
of
an object
if and only if
the object
is a
member
of
hinduism
(<=>
(
attribute
?INDIVIDUAL
Jain
)
(
member
?INDIVIDUAL
Jainism
))
People.kif 1437-1439
Jain
is an
attribute
of
an object
if and only if
the object
is a
member
of
jainism
(<=>
(
attribute
?INDIVIDUAL
Muslim
)
(
member
?INDIVIDUAL
Islam
))
People.kif 1356-1358
Muslim
is an
attribute
of
an object
if and only if
the object
is a
member
of
islam
(<=>
(
attribute
?INDIVIDUAL
Neopaganismist
)
(
member
?INDIVIDUAL
Neopaganism
))
People.kif 1483-1485
Neopaganismist
is an
attribute
of
an object
if and only if
the object
is a
member
of
neopaganism
(<=>
(
attribute
?INDIVIDUAL
Protestant
)
(
member
?INDIVIDUAL
Protestantism
))
People.kif 1287-1289
Protestant
is an
attribute
of
an object
if and only if
the object
is a
member
of
protestantism
(<=>
(
attribute
?INDIVIDUAL
ReligiousJew
)
(
member
?INDIVIDUAL
Judaism
))
People.kif 1454-1456
Religious jew
is an
attribute
of
an object
if and only if
the object
is a
member
of
judaism
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicChurch
))
People.kif 1309-1311
Roman catholic
is an
attribute
of
an object
if and only if
the object
is a
member
of
roman catholic church
(<=>
(
attribute
?INDIVIDUAL
RomanCatholic
)
(
member
?INDIVIDUAL
RomanCatholicism
))
People.kif 1301-1303
Roman catholic
is an
attribute
of
an object
if and only if
the object
is a
member
of
roman catholicism
(<=>
(
attribute
?INDIVIDUAL
ShiaMuslim
)
(
member
?INDIVIDUAL
ShiiteSect
))
People.kif 1403-1405
Shia muslim
is an
attribute
of
an object
if and only if
the object
is a
member
of
shiite sect
(<=>
(
attribute
?INDIVIDUAL
Shintoist
)
(
member
?INDIVIDUAL
Shinto
))
People.kif 1498-1500
Shintoist
is an
attribute
of
an object
if and only if
the object
is a
member
of
shinto
(<=>
(
attribute
?INDIVIDUAL
Sikh
)
(
member
?INDIVIDUAL
Sikhism
))
People.kif 1513-1515
Sikh
is an
attribute
of
an object
if and only if
the object
is a
member
of
sikhism
(<=>
(
attribute
?INDIVIDUAL
SunniMuslim
)
(
member
?INDIVIDUAL
SunniSect
))
People.kif 1422-1424
Sunni muslim
is an
attribute
of
an object
if and only if
the object
is a
member
of
sunni sect
(<=>
(
attribute
?INDIVIDUAL
Taoist
)
(
member
?INDIVIDUAL
Taoism
))
People.kif 1528-1530
Taoist
is an
attribute
of
an object
if and only if
the object
is a
member
of
taoism
(<=>
(
attribute
?INDIVIDUAL
Zoroastrian
)
(
member
?INDIVIDUAL
Zoroastrianism
))
People.kif 1543-1545
Zoroastrian
is an
attribute
of
an object
if and only if
the object
is a
member
of
zoroastrianism
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
There exists
a time interval
such that
the time interval
is an
instance
of
time interval
and
the time interval
finish
es the
time
of existence of
Jesus of Nazareth
and
the time interval
start
s the
time
of existence of
Twelve apostles
and for all
an entity
if
the entity
is a
member
of
Twelve apostles
holds
during
the time interval
,
then
Jesus of Nazareth
is a
friend
of
the entity
holds
during
the time interval
(
not
(
member
Denmark
EuropeanMonetaryUnion
))
Government.kif 3219-3219
Denmark
is not a
member
of
european monetary union
(
not
(
member
Sweden
EuropeanMonetaryUnion
))
Government.kif 3220-3220
Sweden
is not a
member
of
european monetary union
(
not
(
member
UnitedKingdom
EuropeanMonetaryUnion
))
Government.kif 3221-3221
United kingdom
is not a
member
of
european monetary union
appearance as argument number 0
(
member
Austria
EuropeanMonetaryUnion
)
Government.kif 3199-3199
Austria
is a
member
of
european monetary union
(
member
BakerIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2618-2618
Baker island
is a
member
of
United states minor outlying islands
(
member
Belgium
BeneluxEconomicUnion
)
Government.kif 2903-2903
Belgium
is a
member
of
benelux economic union
(
member
Belgium
EuropeanMonetaryUnion
)
Government.kif 3200-3200
Belgium
is a
member
of
european monetary union
(
member
Cyprus
EuropeanMonetaryUnion
)
Government.kif 3201-3201
Cyprus
is a
member
of
european monetary union
(
member
Estonia
EuropeanMonetaryUnion
)
Government.kif 3202-3202
Estonia
is a
member
of
european monetary union
(
member
Finland
EuropeanMonetaryUnion
)
Government.kif 3203-3203
Finland
is a
member
of
european monetary union
(
member
France
EuropeanMonetaryUnion
)
Government.kif 3204-3204
France
is a
member
of
european monetary union
(
member
Germany
EuropeanMonetaryUnion
)
Government.kif 3205-3205
Germany
is a
member
of
european monetary union
(
member
Greece
EuropeanMonetaryUnion
)
Government.kif 3206-3206
Greece
is a
member
of
european monetary union
(
member
HowlandIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2619-2619
Howland island
is a
member
of
United states minor outlying islands
(
member
Ireland
EuropeanMonetaryUnion
)
Government.kif 3207-3207
Ireland
is a
member
of
european monetary union
(
member
Italy
EuropeanMonetaryUnion
)
Government.kif 3208-3208
Italy
is a
member
of
european monetary union
(
member
JarvisIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2620-2620
Jarvis island
is a
member
of
United states minor outlying islands
(
member
JohnstonAtoll
UnitedStatesMinorOutlyingIslands
)
Media.kif 2625-2625
Johnston atoll
is a
member
of
United states minor outlying islands
(
member
KingmanReef
UnitedStatesMinorOutlyingIslands
)
Media.kif 2621-2621
Kingman reef
is a
member
of
United states minor outlying islands
(
member
Latvia
EuropeanMonetaryUnion
)
Government.kif 3209-3209
Latvia
is a
member
of
european monetary union
(
member
Lithuania
EuropeanMonetaryUnion
)
Government.kif 3210-3210
Lithuania
is a
member
of
european monetary union
(
member
Luxembourg
BeneluxEconomicUnion
)
Government.kif 2905-2905
Luxembourg
is a
member
of
benelux economic union
(
member
Luxembourg
EuropeanMonetaryUnion
)
Government.kif 3211-3211
Luxembourg
is a
member
of
european monetary union
(
member
Malta
EuropeanMonetaryUnion
)
Government.kif 3212-3212
Malta
is a
member
of
european monetary union
(
member
MidwayIslands
UnitedStatesMinorOutlyingIslands
)
Media.kif 2626-2626
Midway islands
is a
member
of
United states minor outlying islands
(
member
NavassaIsland
UnitedStatesMinorOutlyingIslands
)
Media.kif 2622-2622
Navassa island
is a
member
of
United states minor outlying islands
(
member
Netherlands
BeneluxEconomicUnion
)
Government.kif 2904-2904
Netherlands
is a
member
of
benelux economic union
(
member
Netherlands
EuropeanMonetaryUnion
)
Government.kif 3213-3213
Netherlands
is a
member
of
european monetary union
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