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 7522-7523
(domain smaller 1 Object) Merge.kif 7518-7518 The number 1 argument of smaller is an instance of object
(domain smaller 2 Object) Merge.kif 7519-7519 The number 2 argument of smaller is an instance of object
(instance smaller BinaryPredicate) Merge.kif 7513-7513 smaller is an instance of binary predicate
(instance smaller IrreflexiveRelation) Merge.kif 7517-7517 smaller is an instance of irreflexive relation
(instance smaller SpatialRelation) Merge.kif 7514-7514 smaller is an instance of spatial relation
(instance smaller TotalValuedRelation) Merge.kif 7515-7515 smaller is an instance of total valued relation
(instance smaller TransitiveRelation) Merge.kif 7516-7516 smaller is an instance of transitive relation
(inverse smaller larger) Merge.kif 7520-7520 smaller is an inverse of larger

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 631-631
(termFormat ChineseLanguage smaller "更小") chinese_format.kif 626-626
(termFormat ChineseLanguage smaller "较小") domainEnglishFormat.kif 53468-53468
(termFormat ChineseTraditionalLanguage smaller "較小") domainEnglishFormat.kif 53467-53467
(termFormat EnglishLanguage smaller "smaller") domainEnglishFormat.kif 53466-53466

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


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))
Geography.kif 5460-5464
(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))
Geography.kif 5515-5519
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4458-4462
(=>
    (and
        (instance ?VIRUS1 FootAndMouthVirus)
        (instance ?VIRUS2 YellowFeverVirus))
    (smaller ?VIRUS1 ?VIRUS2))
WMD.kif 1175-1179


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