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
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subCollection
Sigma KEE - subCollection
subCollection
appearance as argument number 1
(
documentation
subCollection
ChineseLanguage
"(
subCollection
?COLL1 ?COLL2) 的意思是
Collection
?COLL1 是
Collection
?COLL2 的真正部分。")
chinese_format.kif 1635-1636
(
documentation
subCollection
EnglishLanguage
"(
subCollection
?COLL1 ?COLL2) means that the
Collection
?COLL1 is a proper part of the
Collection
?COLL2.")
Merge.kif 1190-1191
(
domain
subCollection
1
Collection
)
Merge.kif 1187-1187
(
domain
subCollection
2
Collection
)
Merge.kif 1188-1188
(
instance
subCollection
BinaryPredicate
)
Merge.kif 1185-1185
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1186-1186
(
subrelation
subCollection
part
)
Merge.kif 1193-1193
appearance as argument number 2
(
format
ChineseLanguage
subCollection
"%1 %n 是 %2 的 真正的子集")
chinese_format.kif 185-185
(
format
EnglishLanguage
subCollection
"%1 is %n a proper sub-collection of %2")
english_format.kif 189-189
(
subrelation
subOrganization
subCollection
)
Merge.kif 15608-15608
(
termFormat
ChineseLanguage
subCollection
"子集")
chinese_format.kif 186-186
(
termFormat
ChineseLanguage
subCollection
"子集合")
domainEnglishFormat.kif 55700-55700
(
termFormat
ChineseTraditionalLanguage
subCollection
"子集合")
domainEnglishFormat.kif 55699-55699
(
termFormat
EnglishLanguage
subCollection
"sub collection")
domainEnglishFormat.kif 55698-55698
antecedent
(<=>
(
subCollection
?COLL1 ?COLL2)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL1)
(
member
?MEMBER ?COLL2))))
Merge.kif 1195-1200
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))
UXExperimentalTerms.kif 3873-3908
consequent
(=>
(
and
(
instance
?SAMPLE_COLL
Collection
)
(
instance
?POP_COLL
Collection
)
(
instance
?EXPERIMENT
Experimenting
)
(
statisticalPopulation
?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
(
subCollection
?SAMPLE_COLL ?POP_COLL))
UXExperimentalTerms.kif 606-612
(=>
(
and
(
numberChildOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?RESERVE ?HOTEL))
(
exists
(?COL ?SUBCOL)
(
and
(
instance
?COL
GroupOfPeople
)
(
subCollection
?SUBCOL ?COL)
(
instance
?SUBCOL
GroupOfPeople
)
(
memberType
?SUBCOL
HumanChild
)
(
memberCount
?SUBCOL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2846-2857
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 20589-20595
appearance as argument number 0
(
subCollection
AhmadiyyaSect
Islam
)
People.kif 1341-1341
(
subCollection
AimakEthnicity
AsianEthnicity
)
People.kif 499-499
(
subCollection
Anglicanism
Christianity
)
People.kif 1219-1219
(
subCollection
BritishVirginIslands
VirginIslands
)
Media.kif 2572-2572
(
subCollection
DruzeSect
Islam
)
People.kif 1355-1355
(
subCollection
EasternOrthodoxChristianity
Christianity
)
People.kif 1241-1241
(
subCollection
HazaraEthnicity
AsianEthnicity
)
People.kif 538-538
(
subCollection
IndochineseEthnicity
AsianEthnicity
)
People.kif 558-558
(
subCollection
Protestantism
Christianity
)
People.kif 1255-1255
(
subCollection
RomanCatholicism
Christianity
)
People.kif 1269-1269
(
subCollection
RussianEthnicity
SlavicEthnicity
)
People.kif 597-597
(
subCollection
ShiiteSect
Islam
)
People.kif 1370-1370
(
subCollection
SunniSect
Islam
)
People.kif 1389-1389
(
subCollection
TurkmenEthnicity
CentralAsianTurkishEthnicity
)
People.kif 633-633
(
subCollection
USVirginIslands
VirginIslands
)
Media.kif 2573-2573
(
subCollection
UzbekEthnicity
CentralAsianTurkishEthnicity
)
People.kif 640-640
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