TreeView Knowledge Base Browser

appearance as argument number 1

(documentation larger ChineseLanguage "(larger ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 大。")	chinese_format.kif 2664-2665
(documentation larger EnglishLanguage "(larger ?OBJ1 ?OBJ2) means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2.")	Merge.kif 7791-7792
(documentation larger JapaneseLanguage "(larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりもすべての LengthMeasure に対して大きいことを意味する。")	japanese_format.kif 1384-1385
(domain larger 1 Object)	Merge.kif 7788-7788	Die Zahl 1 Argument von larger ist ein fall von Object %n{nicht}
(domain larger 2 Object)	Merge.kif 7789-7789	Die Zahl 2 Argument von larger ist ein fall von Object %n{nicht}
(instance larger BinaryPredicate)	Merge.kif 7783-7783	larger ist ein fall von BinaryPredicate %n{nicht}
(instance larger IrreflexiveRelation)	Merge.kif 7786-7786	larger ist ein fall von IrreflexiveRelation %n{nicht}
(instance larger SpatialRelation)	Merge.kif 7784-7784	larger ist ein fall von SpatialRelation %n{nicht}
(instance larger TotalValuedRelation)	Merge.kif 7787-7787	larger ist ein fall von TotalValuedRelation %n{nicht}
(instance larger TransitiveRelation)	Merge.kif 7785-7785	larger ist ein fall von TransitiveRelation %n{nicht}

appearance as argument number 2

(format ChineseLanguage larger "%1 %n larger %2")	chinese_format.kif 623-623
(format EnglishLanguage larger "%1 is %n larger than %2")	english_format.kif 626-626
(format FrenchLanguage larger "%1 est %n plus large que %2")	french_format.kif 376-376
(format ItalianLanguage larger "%1 è %n più largo di%2")	relations-it.txt 160-160
(format JapaneseLanguage larger "%1 は %2 よりも larger %n")	japanese_format.kif 2110-2110
(format PortugueseLanguage larger "%1 e' %n maior do que %2")	portuguese_format.kif 328-328
(format cz larger "%1 %p{je} %n{nen�} larger than %2")	relations-cz.txt 385-385
(format de larger "%1 ist %n{nicht} groesser als %2")	relations-de.txt 818-818
(format hi larger "%1 %2 se badaa %n hai")	relations-hindi.txt 199-199
(format ro larger "%1 %n{nu} este larger%t{mai mare} decât %2")	relations-ro.kif 398-398
(format sv larger "%1 är %n{inte} större än %2")	relations-sv.txt 418-418
(format tg larger "%1 %n ay mas malaki ng %2")	relations-tg.txt 320-320
(inverse smaller larger)	Merge.kif 7811-7811	smaller ist eine inverse von larger %n{nicht}
(termFormat ChineseLanguage larger "更大")	chinese_format.kif 624-624
(termFormat ChineseTraditionalLanguage larger "更大")	domainEnglishFormat.kif 33366-33366
(termFormat EnglishLanguage larger "larger")	domainEnglishFormat.kif 33365-33365
(termFormat tg larger "mas malaki")	relations-tg.txt 321-321

antecedent

(<=>
    (larger ?OBJ1 ?OBJ2)
    (forall (?QUANT1 ?QUANT2 ?UNIT)
        (=>
            (and
                (measure ?OBJ1
                    (MeasureFn ?QUANT1 ?UNIT))
                (measure ?OBJ2
                    (MeasureFn ?QUANT2 ?UNIT))
                (instance ?UNIT UnitOfLength))
            (greaterThan ?QUANT1 ?QUANT2))))

Merge.kif 7794-7802

Object ist groesser als ** Object genau dann wenn fuer alle RealNumber, ** RealNumber, and und UnitOfMeasure

wenn das mass von ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und das mass von ** ** Object ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfLength %n{nicht},
dann ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}

consequent

(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL))	Geography.kif 5330-5335	Wenn Object ist ein fall von Channel %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und Object wird an Object angeschlossen, dann Object ist groesser als ** Object
(=> (and (instance ?COVE Cove) (instance ?BAY Bay)) (larger ?BAY ?COVE))	Geography.kif 5270-5274	Wenn Object ist ein fall von Cove %n{nicht} und Object ist ein fall von Bay %n{nicht}, dann Object ist groesser als Object
(=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY))	Geography.kif 5145-5149	Wenn Object ist ein fall von Gulf %n{nicht} und Object ist ein fall von Bay %n{nicht}, dann Object ist groesser als Object
(=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER))	Geography.kif 4523-4528	Wenn Object ist ein fall von BodyOfWater %n{nicht} und Object ist ein fall von Ocean nicht und Object ist ein fall von Ocean %n{nicht}, dann Object ist groesser als ** Object
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait))	Geography.kif 5305-5310	Wenn Object ist ein fall von BodyOfWater %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und Object schleisst Object und Object an, dann Object ist groesser als Object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: