Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - smaller
smaller

appearance as argument number 1
-------------------------


(documentation smaller ChineseLanguage "(smaller ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 小。") chinese_format.kif 2666-2667
(documentation smaller EnglishLanguage "(smaller ?OBJ1 ?OBJ2) means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2.") Merge.kif 7687-7688
(domain smaller 1 Object) Merge.kif 7683-7683
(domain smaller 2 Object) Merge.kif 7684-7684
(instance smaller BinaryPredicate) Merge.kif 7678-7678
(instance smaller IrreflexiveRelation) Merge.kif 7682-7682
(instance smaller SpatialRelation) Merge.kif 7679-7679
(instance smaller TotalValuedRelation) Merge.kif 7680-7680
(instance smaller TransitiveRelation) Merge.kif 7681-7681
(inverse smaller larger) Merge.kif 7685-7685

appearance as argument number 2
-------------------------


(format ChineseLanguage smaller "%1 %n smaller %2") chinese_format.kif 625-625
(format EnglishLanguage smaller "%1 is %n smaller than %2") english_format.kif 628-628
(termFormat ChineseLanguage smaller "更小") chinese_format.kif 626-626
(termFormat ChineseLanguage smaller "较小") domainEnglishFormat.kif 53469-53469
(termFormat ChineseTraditionalLanguage smaller "較小") domainEnglishFormat.kif 53468-53468
(termFormat EnglishLanguage smaller "smaller") domainEnglishFormat.kif 53467-53467

consequent
-------------------------


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))
Geography.kif 5575-5579
(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))
Geography.kif 5630-5634
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4542-4546
(=>
    (and
        (instance ?VIRUS1 FootAndMouthVirus)
        (instance ?VIRUS2 YellowFeverVirus))
    (smaller ?VIRUS1 ?VIRUS2))
WMD.kif 1181-1185


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



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