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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - MeasuringList

appearance as argument number 1

(documentation MeasuringList ChineseLanguage "MeasuringList 是一系列,在一个串列 (List)上的量度 Measuring 过程 Processe。") Weather.kif 1712-1713
(documentation MeasuringList EnglishLanguage "MeasuringList is a sequence of Measuring Processes arranged in a List.") Weather.kif 1710-1711
(subclass MeasuringList List) Weather.kif 1714-1714 量度串列串列subclass

appearance as argument number 2

(subclass MeasuringSurfaceWindSpeedList MeasuringList) Weather.kif 1748-1748 地面风速量度串列 量度串列subclass
(termFormat ChineseLanguage MeasuringList "量度串列") domainEnglishFormat.kif 10427-10427
(termFormat EnglishLanguage MeasuringList "measuring list") domainEnglishFormat.kif 10426-10426

appearance as argument number 3

(domain locationMeasuringList 1 MeasuringList) Weather.kif 1765-1765 位置量度串列 的 1 数量 是 量度串列instance
(domain measuringListDuration 1 MeasuringList) Weather.kif 1874-1874 量度串列持续时间 的 1 数量 是 量度串列instance
(domain measuringListInterval 1 MeasuringList) Weather.kif 1856-1856 量度串列时间间隔 的 1 数量 是 量度串列instance
(domain measuringResult 1 MeasuringList) Weather.kif 1802-1802 量度结果 的 1 数量 是 量度串列instance


        (instance ?LIST MeasuringList)
        (inList ?M ?LIST))
    (instance ?M Measuring))
Weather.kif 1716-1720

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