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
ListFn
Sigma KEE - ListFn
ListFn
appearance as argument number 1
(
documentation
ListFn
ChineseLanguage
"这是一个可以接受任何数量的参数,然后交出含有跟哪些参数完全 相同顺序的
Function
。")
chinese_format.kif 1962-1963
(
documentation
ListFn
EnglishLanguage
"A
Function
that takes any number of arguments and returns the
List
containing those arguments in exactly the same order.")
Merge.kif 2937-2938
(
documentation
ListFn
JapaneseLanguage
"任意の数の引数を受け取り、それらの引数を含む
List
を まったく同じ順序で返す
Function
。")
japanese_format.kif 594-595
(
domain
ListFn
1
Entity
)
Merge.kif 2933-2933
Die Zahl 1 Argument von
ListeFn
ist ein
fall
von
Entity
%n{nicht}
(
instance
ListFn
Function
)
Merge.kif 2931-2931
ListeFn
ist ein
fall
von
Function
%n{nicht}
(
instance
ListFn
VariableArityRelation
)
Merge.kif 2932-2932
ListeFn
ist ein
fall
von
VariableArityRelation
%n{nicht}
(
range
ListFn
List
)
Merge.kif 2935-2935
bildbereich
von
ListeFn
ist ein fall von
List
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
ListFn
"(%*[,])")
chinese_format.kif 261-261
(
format
EnglishLanguage
ListFn
"(%*[,])")
english_format.kif 266-266
(
format
FrenchLanguage
ListFn
"(%*[,])")
french_format.kif 149-149
(
format
ItalianLanguage
ListFn
"(%*[,]")
relations-it.txt 167-167
(
format
JapaneseLanguage
ListFn
"(%*[,])")
japanese_format.kif 1977-1977
(
format
PortugueseLanguage
ListFn
"(%*[,])")
portuguese_format.kif 101-101
(
format
cz
ListFn
"(%*[,])")
relations-cz.txt 158-158
(
format
de
ListFn
"(%*[,])")
relations-de.txt 336-336
(
format
hi
ListFn
"(%*[,]")
relations-hindi.txt 206-206
(
format
ro
ListFn
"(%*[,])")
relations-ro.kif 168-168
(
format
sv
ListFn
"(%*[,])")
relations-sv.txt 155-155
(
format
tg
ListFn
"(%*[,]")
relations-tg.txt 333-333
(
termFormat
ChineseLanguage
ListFn
"名单")
domainEnglishFormat.kif 34685-34685
(
termFormat
ChineseLanguage
ListFn
"表列函数")
chinese_format.kif 262-262
(
termFormat
ChineseTraditionalLanguage
ListFn
"名單")
domainEnglishFormat.kif 34684-34684
(
termFormat
EnglishLanguage
ListFn
"list")
domainEnglishFormat.kif 34683-34683
(
termFormat
de
ListFn
"ListeFn")
terms-de.txt 107-107
(
termFormat
tg
ListFn
"tungkulin ng talaan")
relations-tg.txt 334-334
antecedent
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
Wenn @ROW wird
entgegengesetzet
%n{nicht} und
Attribute
ist gleich
** entity
mitglied
von (@ROW) %n{nicht} und
** Attribute
ist gleich
** entity
mitglied
von (@ROW) %n{nicht} und
PositiveInteger
ist gleich
** PositiveInteger
nicht und
** Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** ** Entity
hat ein
attribut
** ** Attribute
nicht
(=>
(
and
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
Merge.kif 470-474
Wenn @ROW1 wird
entgegengesetzet
%n{nicht} und
identicalListItems
(@ROW1) and (@ROW2),
dann @ROW2 wird
entgegengesetzet
%n{nicht}
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
Wenn
defaultMaxValue
Predicate
,
PositiveInteger
and
Quantity
und
** Predicate
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann die Aussage
** Quantity
ist
groesserAls
** ** Entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
Wenn
defaultMinValue
Predicate
,
PositiveInteger
and
Quantity
und
** Predicate
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann die Aussage
** ** Entity
ist
groesserAls
** Quantity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
Wenn
defaultValue
Predicate
,
PositiveInteger
and
Quantity
und
** Predicate
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann die Aussage
** Quantity
ist gleich
** ** Entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
equal
?LIST1 ?LIST2)
(
equal
?LIST1
(
ListFn
@ROW1))
(
equal
?LIST2
(
ListFn
@ROW2)))
(
equal
(
ListOrderFn
(
ListFn
@ROW1) ?NUMBER)
(
ListOrderFn
(
ListFn
@ROW2) ?NUMBER)))
Merge.kif 295-302
Wenn
List
ist gleich
** List
%n{nicht} und
** List
ist gleich (@ROW1) %n{nicht} und
** ** List
ist gleich (@ROW2) %n{nicht},
dann
** entity
mitglied
von (@ROW1) ist gleich
** ** entity
mitglied
von (@ROW2) %n{nicht}
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
equal
?X ?Y))
Media.kif 2106-2113
Wenn
exactCardinality
Relation
,
PositiveInteger
and 1 und
** Relation
ist ein
fall
von
Predicate
%n{nicht} und
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht} und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann
** ** Entity
ist gleich
** ** Entity
%n{nicht}
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
Wenn
exactCardinality
Relation
,
PositiveInteger
and 1 und
** Relation
ist ein
fall
von
Predicate
%n{nicht} und
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann es gibt nicht
** Entity
um
** ** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht} und
** ** Entity
ist gleich
** ** Entity
nicht
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 503-507
Wenn
exhaustiveAttribute
** Attribute
and @ROW und
Entity
ist ein
Mitglied
von (@ROW),
dann
** Entity
ist ein
fall
von
** Attribute
%n{nicht}
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 497-501
Wenn
exhaustiveAttribute
** Attribute
and @ROW und
Entity
ist ein
Mitglied
von (@ROW),
dann
** Entity
ist ein
fall
von
Attribute
%n{nicht}
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
Wenn
LatitudeFn
DirectionalAttribute
and @ROW ist ein
fall
von
Region
%n{nicht} und 1te
mitglied
von (@ROW) ist gleich
RealNumber
AngularDegree
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
90.0 %n{nicht}
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180.0))
Geography.kif 467-474
Wenn
LongitudeFn
DirectionalAttribute
and @ROW ist ein
fall
von
Region
%n{nicht} und 1te
mitglied
von (@ROW) ist gleich
RealNumber
AngularDegree
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
180.0 %n{nicht}
(=>
(
and
(
instance
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2677-2682
Wenn
Entity
ist ein
fall
von
IntentionalRelation
%n{nicht} und
** Entity
CognitiveAgent
and @ROW und
** Entity
ist ein
Mitglied
von (@ROW),
dann
** CognitiveAgent
ist an
** ** Entity
interessiert
%n{nicht}
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16921-16929
Wenn
Object
ist
PositionalAttribute
hinsichlich
** Object
%n{nicht} und @ROW wird
entgegengesetzet
%n{nicht} und
** PositionalAttribute
ist ein
Mitglied
von (@ROW) und
** PositionalAttribute
ist ein
Mitglied
von (@ROW) und
** PositionalAttribute
ist gleich
** ** PositionalAttribute
nicht,
dann
** Object
ist
** ** PositionalAttribute
hinsichlich
** ** Object
nicht
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
Wenn
processList
@ROW und
Physical
ist ein
Mitglied
von (@ROW) und
** Physical
ist ein
Mitglied
von (@ROW) und
** entity
mitglied
von (@ROW) ist gleich
** Physical
%n{nicht} und
** entity
mitglied
von (@ROW) ist gleich
** ** Physical
%n{nicht} und
PositiveInteger
ist
kleinerAls
** PositiveInteger
%n{nicht},
dann die
zeit
des Bestehens von
** Physical
geschieht frueh als die
zeit
des Bestehens von
** ** Physical
%n{nicht}
consequent
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
instance
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2998-3003
Wenn die Zahl
PositiveInteger
Argument von
Relation
ist ein
fall
von
Class
%n{nicht} und
** Relation
ist ein
fall
von
Predicate
%n{nicht} und
** Relation
@ROW,
dann
** PositiveInteger
te
mitglied
von (@ROW) ist ein
fall
von
** Class
%n{nicht}
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
Wenn die Zahl
PositiveInteger
Argument von
Relation
ist eine
teilkategorie
von
Class
%n{nicht} und
** Relation
ist ein
fall
von
Predicate
%n{nicht} und
** Relation
@ROW,
dann
** PositiveInteger
te
mitglied
von (@ROW) ist eine
teilkategorie
von
** Class
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
Wenn die
groe
�te gemeinsamer teiler von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** ** Integer
betrag
** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
Wenn die
groe
�te gemeinsamer teiler von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann es gibt nicht
** Integer
um
** ** Integer
ist
groesserAls
** Integer
%n{nicht} und fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** ** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
Wenn das
kleinste
gemeinsames vielfach von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
Wenn das
kleinste
gemeinsames vielfach von @ROW ist gleich
Integer
%n{nicht} und
** Integer
ist gleich 0 nicht,
dann es gibt nicht
** Integer
um
** ** Integer
ist
kleinerAls
** Integer
%n{nicht} und fuer alle
** Integer
wenn
** ** Integer
ist ein
Mitglied
von (@ROW),
dann
** ** Integer
betrag
** ** Integer
ist gleich 0 %n{nicht}
(=>
(
and
(
equal
?LIST1 ?LIST2)
(
equal
?LIST1
(
ListFn
@ROW1))
(
equal
?LIST2
(
ListFn
@ROW2)))
(
equal
(
ListOrderFn
(
ListFn
@ROW1) ?NUMBER)
(
ListOrderFn
(
ListFn
@ROW2) ?NUMBER)))
Merge.kif 295-302
Wenn
List
ist gleich
** List
%n{nicht} und
** List
ist gleich (@ROW1) %n{nicht} und
** ** List
ist gleich (@ROW2) %n{nicht},
dann
** entity
mitglied
von (@ROW1) ist gleich
** ** entity
mitglied
von (@ROW2) %n{nicht}
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
Wenn
List
ist gleich
SubListFn
PositiveInteger
,
Integer
and
** List
%n{nicht} und (
** Integer
und
** PositiveInteger
) ist gleich 1 %n{nicht},
dann
** List
ist gleich (
** PositiveInteger
te
mitglied
von
** ** List
) %n{nicht}
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3190-3202
Wenn
List
ist gleich
SubListFn
PositiveInteger
,
Integer
and
** List
%n{nicht} und (
** Integer
und
** PositiveInteger
) ist
groesserAls
1 %n{nicht},
dann
** List
ist gleich die Liste bestanden aus (
** PositiveInteger
te
mitglied
von
** ** List
) und
SubListFn
(1 und
** PositiveInteger
),
** Integer
and
** ** List
%n{nicht}
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
Wenn
exactCardinality
Relation
,
PositiveInteger
and 1 und
** Relation
ist ein
fall
von
Predicate
%n{nicht} und
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann es gibt nicht
** Entity
um
** ** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht} und
** ** Entity
ist gleich
** ** Entity
nicht
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
))
(
exists
(?X @ARGS)
(
and
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))))
Media.kif 2075-2090
Wenn
exactCardinality
Relation
,
PositiveInteger
and 1 und
** Relation
ist ein
fall
von
Predicate
%n{nicht},
dann es gibt
Entity
und @ARGS um
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht} und es gibt nicht
** Entity
um
** ** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht} und
** Entity
ist gleich
** ** Entity
nicht
(=>
(
and
(
exactCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
equal
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2137-2150
Wenn
exactCardinality
Relation
,
PositiveInteger
and
Integer
und
** Relation
ist ein
fall
von
Predicate
%n{nicht},
dann es gibt
Class
,
Entity
, and und @ARGS um
** Class
ist ein
fall
von
SetOrClass
%n{nicht} und
wenn
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann
** Entity
ist ein
fall
von
** Class
%n{nicht} und die Zahl
Faellen
in
** Class
ist gleich
** Integer
%n{nicht}
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2210-2223
Wenn
maxCardinality
Relation
,
PositiveInteger
and
Integer
und
** Relation
ist ein
fall
von
Predicate
%n{nicht},
dann es gibt
Class
,
Entity
, and und @ARGS um
** Class
ist ein
fall
von
SetOrClass
%n{nicht} und
wenn
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann
** Entity
ist ein
fall
von
** Class
%n{nicht} und die Zahl
Faellen
in
** Class
ist
kleinerAlsOderGleich
** Integer
%n{nicht}
(=>
(
and
(
minCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
greaterThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2174-2187
Wenn
minCardinality
Relation
,
PositiveInteger
and
Integer
und
** Relation
ist ein
fall
von
Predicate
%n{nicht},
dann es gibt
Class
,
Entity
, and und @ARGS um
** Class
ist ein
fall
von
SetOrClass
%n{nicht} und
wenn
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann
** Entity
ist ein
fall
von
** Class
%n{nicht} und die Zahl
Faellen
in
** Class
ist
groesserAlsOderGleich
** Integer
%n{nicht}
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
Wenn
Relation
hat
PositiveInteger
argument
(e) und
** Relation
ist ein
fall
von
Predicate
%n{nicht},
dann fuer alle @ROW
wenn
** Relation
@ROW,
dann
Laenge
von (@ROW) ist gleich
** PositiveInteger
%n{nicht}
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
Wenn @ROW wird
entgegengesetzet
%n{nicht},
dann
wenn
** Entity
ist ein
Mitglied
von (@ROW),
dann
** ** Entity
ist ein
fall
von
Attribute
%n{nicht}
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
Wenn
Class
wird zusammenhanglos auf @ROW disjunkt,
dann fuer alle
** Class
wenn
** ** Class
ist ein
Mitglied
von (@ROW),
dann
** ** Class
ist eine
teilkategorie
von
** Class
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2957-2966
Wenn
Class
wird zusammenhanglos auf @ROW disjunkt,
dann fuer alle
** Class
und
** Class
wenn
** ** Class
ist ein
Mitglied
von (@ROW) und
** ** Class
ist ein
Mitglied
von (@ROW) und
** ** Class
ist gleich
** ** Class
nicht,
dann
** ** Class
ist
dijunkt
von
** ** Class
%n{nicht}
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
Wenn @ROW wird zusammenhanglos auf @ROW disjunkt,
dann
wenn
** Entity
ist ein
Mitglied
von (@ROW),
dann
** ** Entity
ist ein
fall
von
Class
%n{nicht}
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4854-4859
Wenn die
groe
�te gemeinsamer teiler von @ROW ist gleich
Integer
%n{nicht},
dann
wenn
** Entity
ist ein
Mitglied
von (@ROW),
dann
** ** Entity
ist ein
fall
von
Number
%n{nicht}
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4939-4944
Wenn das
kleinste
gemeinsames vielfach von @ROW ist gleich
Integer
%n{nicht},
dann
wenn
** Entity
ist ein
Mitglied
von (@ROW),
dann
** ** Entity
ist ein
fall
von
Number
%n{nicht}
(=>
(
exactCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
equal
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2125-2134
Wenn
exactCardinality
Relation
,
Integer
and
** Integer
,
dann es gibt
SymbolicString
und @ARGS um die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt ist gleich
** ** Integer
%n{nicht}
(=>
(
exhaustiveAttribute
?ATTRCLASS @ROW)
(
not
(
exists
(?EL)
(
and
(
instance
?EL ?ATTRCLASS)
(
not
(
exists
(?ATTR ?NUMBER)
(
and
(
equal
?EL ?ATTR)
(
equal
?ATTR
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER)))))))))
Merge.kif 519-531
Wenn
exhaustiveAttribute
** Attribute
and @ROW,
dann es gibt nicht
Entity
um
** Entity
ist ein
fall
von
** Attribute
%n{nicht} und es gibt nicht
** Entity
und
PositiveInteger
um
** Entity
ist gleich
** ** Entity
%n{nicht} und
** ** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ROW) %n{nicht}
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 509-517
Wenn
exhaustiveAttribute
** Attribute
and @ROW,
dann fuer alle
Entity
wenn
** Entity
ist ein
fall
von
** Attribute
%n{nicht},
dann es gibt
** Entity
um
** ** Entity
ist ein
Mitglied
von (@ROW) und
** Entity
ist gleich
** ** Entity
%n{nicht}
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2940-2948
Wenn
Class
wird mit @ROW behandelt,
dann fuer alle
Entity
wenn
** Entity
ist ein
fall
von
** Class
%n{nicht},
dann es gibt
** Class
um
** ** Class
ist ein
Mitglied
von (@ROW) und
** Entity
ist ein
fall
von
** ** Class
%n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3037-3040
Fuer alle @ROW und
** entity
Laenge
von (@ROW und
** ** entity
) ist gleich (
Laenge
von (@ROW)+1) %n{nicht}
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3042-3046
Fuer alle @ROW und
** Entity
Laenge
von (@ROW und
** ** Entity
)te
mitglied
von (@ROW und
** ** Entity
) ist gleich
** ** Entity
%n{nicht}
(
forall
(@ROW ?ITEM)
(
initialList
(
ListFn
@ROW)
(
ListFn
@ROW ?ITEM)))
Merge.kif 3315-3316
Fuer alle @ROW und
** entity
(@ROW) beginnt (@ROW und
** ** entity
) %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