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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasuringList
MeasuringList(measuring list)

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


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

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


(subclass MeasuringSurfaceWindSpeedList MeasuringList) Weather.kif 1747-1747 Measuring surface wind speed list is a subclass of measuring list
(termFormat ChineseLanguage MeasuringList "量度串列") domainEnglishFormat.kif 10436-10436
(termFormat EnglishLanguage MeasuringList "measuring list") domainEnglishFormat.kif 10435-10435

appearance as argument number 3
-------------------------


(domain locationMeasuringList 1 MeasuringList) Weather.kif 1764-1764 The number 1 argument of location measuring list is an instance of measuring list
(domain measuringListDuration 1 MeasuringList) Weather.kif 1873-1873 The number 1 argument of measuring list duration is an instance of measuring list
(domain measuringListInterval 1 MeasuringList) Weather.kif 1855-1855 The number 1 argument of measuring list interval is an instance of measuring list
(domain measuringResult 1 MeasuringList) Weather.kif 1801-1801 The number 1 argument of measuring result is an instance of measuring list

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


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


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