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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasuringList

Sigma KEE - MeasuringList
MeasuringList

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


(documentation MeasuringList ChineseLanguage "MeasuringList 是一系列,在一个串列 (List)上的量度 Measuring 过程 Processe。") Weather.kif 1708-1709
(documentation MeasuringList EnglishLanguage "MeasuringList is a sequence of Measuring Processes arranged in a List.") Weather.kif 1706-1707
(subclass MeasuringList List) Weather.kif 1710-1710 子類 MeasuringList and List

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


(subclass MeasuringSurfaceWindSpeedList MeasuringList) Weather.kif 1744-1744 子類 MeasuringSurfaceWindSpeedList and MeasuringList
(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 1761-1761 locationMeasuringList, 1 and MeasuringList
(domain measuringListDuration 1 MeasuringList) Weather.kif 1870-1870 measuringListDuration, 1 and MeasuringList
(domain measuringListInterval 1 MeasuringList) Weather.kif 1852-1852 measuringListInterval, 1 and MeasuringList
(domain measuringResult 1 MeasuringList) Weather.kif 1798-1798 measuringResult, 1 and MeasuringList

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


(=>
    (and
        (instance ?LIST MeasuringList)
        (inList ?M ?LIST))
    (instance ?M Measuring))
Weather.kif 1712-1716


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