CORD-19:6e2db98aa242e3e84116afdfad5e250943c55ac5 / 43266-43394 JSONTXT

Annnotations TAB JSON ListView MergeView

CORD-19_Custom_license_subset

Id Subject Object Predicate Lexical cue
T364 0-128 Sentence denotes We take infimum operations on both sides of the first step conclusion, i.e., inf T(u, S 1 ∪ S 2 ) = inf T(u, S 1 ) ∪ T(u, S 2 ).

CORD-19-Sentences

Id Subject Object Predicate Lexical cue
TextSentencer_T364 0-128 Sentence denotes We take infimum operations on both sides of the first step conclusion, i.e., inf T(u, S 1 ∪ S 2 ) = inf T(u, S 1 ) ∪ T(u, S 2 ).
TextSentencer_T364 0-128 Sentence denotes We take infimum operations on both sides of the first step conclusion, i.e., inf T(u, S 1 ∪ S 2 ) = inf T(u, S 1 ) ∪ T(u, S 2 ).
T83369 0-128 Sentence denotes We take infimum operations on both sides of the first step conclusion, i.e., inf T(u, S 1 ∪ S 2 ) = inf T(u, S 1 ) ∪ T(u, S 2 ).

Epistemic_Statements

Id Subject Object Predicate Lexical cue
T137 0-128 Epistemic_statement denotes We take infimum operations on both sides of the first step conclusion, i.e., inf T(u, S 1 ∪ S 2 ) = inf T(u, S 1 ) ∪ T(u, S 2 ).