Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ImmediateFamilyFn
Sigma KEE - ImmediateFamilyFn
ImmediateFamilyFn
appearance as argument number 1
(
documentation
ImmediateFamilyFn
ChineseLanguage
"(
ImmediateFamilyFn
?PERSON) 表示 ?PERSON 的直属家人,即是这个
Group
包括这个 ?PERSON 的
parent
和任何把这个 ?PERSON 当
parent
的人。")
chinese_format.kif 3677-3679
(
documentation
ImmediateFamilyFn
EnglishLanguage
"(
ImmediateFamilyFn
?PERSON) denotes the immediate family of ?PERSON, i.e. the
Group
consisting of the
parent
s of ?PERSON and anyone of whom ?PERSON is a
parent
.")
Merge.kif 16309-16311
(
domain
ImmediateFamilyFn
1
Human
)
Merge.kif 16307-16307
Die Zahl 1 Argument von
ImmediateFamilyFn
ist ein
fall
von
Human
%n{nicht}
(
instance
ImmediateFamilyFn
TotalValuedRelation
)
Merge.kif 16306-16306
ImmediateFamilyFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
ImmediateFamilyFn
UnaryFunction
)
Merge.kif 16305-16305
ImmediateFamilyFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
ImmediateFamilyFn
FamilyGroup
)
Merge.kif 16308-16308
bildbereich
von
ImmediateFamilyFn
ist ein fall von
FamilyGroup
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
ImmediateFamilyFn
"%1 的 immediate 家庭")
domainEnglishFormat.kif 1249-1249
(
format
ChineseTraditionalLanguage
ImmediateFamilyFn
"%1 的 immediate 家庭")
domainEnglishFormat.kif 1248-1248
(
format
EnglishLanguage
ImmediateFamilyFn
"the immediate family of %1")
domainEnglishFormat.kif 1247-1247
(
termFormat
ChineseLanguage
ImmediateFamilyFn
"直系亲属")
domainEnglishFormat.kif 29343-29343
(
termFormat
ChineseTraditionalLanguage
ImmediateFamilyFn
"直系親屬")
domainEnglishFormat.kif 29342-29342
(
termFormat
EnglishLanguage
ImmediateFamilyFn
"immediate family")
domainEnglishFormat.kif 29341-29341
antecedent
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16313-16321
Wenn
ImmediateFamilyFn
Human
ist gleich
FamilyGroup
%n{nicht},
dann fuer alle
Organism
wenn
** Organism
ist ein
Mitglied
von
** FamilyGroup
%n{nicht},
dann es gibt
** Organism
um
** ** Organism
ist das
elterntiel
von
** Organism
%n{nicht} oder
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht}
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16323-16330
Wenn
ImmediateFamilyFn
Human
ist gleich
FamilyGroup
%n{nicht},
dann es gibt
Organism
um
** Organism
ist ein
Mitglied
von
** FamilyGroup
%n{nicht} und
** Human
ist das
elterntiel
von
** Organism
%n{nicht} oder
** Organism
ist das
elterntiel
von
** Human
%n{nicht}
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