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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NegativeInfinity

Sigma KEE - NegativeInfinity
NegativeInfinity(负无穷大)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2686-2687
No TPTP formula. May not be expressible in strict first order. Merge.kif 7906-7907
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1409-1410
No TPTP formula. May not be expressible in strict first order. Merge.kif 7904-7904 负无穷大时点instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40089-40089
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40088-40088
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40087-40087

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7909-7913
No TPTP formula. May not be expressible in strict first order. Merge.kif 7915-7920

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7909-7913
No TPTP formula. May not be expressible in strict first order. Merge.kif 7915-7920
No TPTP formula. May not be expressible in strict first order. Merge.kif 8512-8514


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