Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NanoFn
NanoFn

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


(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6670-6670 Nano is an instance of unit of measure multiplier
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6671-6671 The number 1 argument of nano is an instance of unit of measure
(range NanoFn UnitOfMeasure) Merge.kif 6672-6672 The range of nano is an instance of unit of measure
(documentation NanoFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .000000001 units of the original UnitOfMeasure. For example, (MicroFn SecondDuration) is .000000001 SecondDurations.") Merge.kif 6674-6677 The range of nano is an instance of unit of measure

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


(termFormat EnglishLanguage NanoFn "nano") domainEnglishFormat.kif 39697-39697
(termFormat ChineseTraditionalLanguage NanoFn "奈米") domainEnglishFormat.kif 39698-39698
(termFormat ChineseLanguage NanoFn "奈米") domainEnglishFormat.kif 39699-39699
(format EnglishLanguage NanoFn "one billionth of a %1") english_format.kif 650-650

antecedent
-------------------------


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))		 Merge.kif 6679-6683 If X is an instance of unit of measure and equal Y and one billionth of a X, then equal 1 Y(s) and 0.000000001 X(s)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners