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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasuringList

Sigma KEE - MeasuringList
MeasuringList(measuring list)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1712-1713
No TPTP formula. May not be expressible in strict first order. Weather.kif 1710-1711
No TPTP formula. May not be expressible in strict first order. Weather.kif 1714-1714 Measuring list is a subclass of list

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1748-1748 Measuring surface wind speed list is a subclass of measuring list
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10427-10427
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10426-10426

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1765-1765 The number 1 argument of location measuring list is an instance of measuring list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1874-1874 The number 1 argument of measuring list duration is an instance of measuring list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1856-1856 The number 1 argument of measuring list interval is an instance of measuring list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1802-1802 The number 1 argument of measuring result is an instance of measuring list

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


No TPTP formula. May not be expressible in strict first order. 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